diff options
author | 2017-03-13 00:04:00 +0000 | |
---|---|---|
committer | 2017-03-13 00:04:00 +0000 | |
commit | 267ff8d27b9fefe891544f163a412b6d358e6f02 (patch) | |
tree | 67fd960c6aeb621a396501f2cdea89ca3ae886b3 /grub2-themes.txt | |
parent | 2017-03-12T23:40:01Z (diff) | |
download | repos-267ff8d27b9fefe891544f163a412b6d358e6f02.tar.gz repos-267ff8d27b9fefe891544f163a412b6d358e6f02.tar.bz2 repos-267ff8d27b9fefe891544f163a412b6d358e6f02.zip |
2017-03-13T00:00:01Z
Diffstat (limited to 'grub2-themes.txt')
-rw-r--r-- | grub2-themes.txt | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/grub2-themes.txt b/grub2-themes.txt index bf4747c3b86e..0dcb22636dcc 100644 --- a/grub2-themes.txt +++ b/grub2-themes.txt @@ -15,8 +15,6 @@ 'status': 'official'} $ pmaint sync grub2-themes WARNING:pkgcore:repo at '/home/mgorny/sync/steveeJ' has unsupported profile format: profile-set -WARNING:pkgcore:repo at '/home/mgorny/sync/xelnor' has unsupported profile format: profile-set -WARNING:pkgcore:repo at '/home/mgorny/sync/xelnor' has unsupported profile format: profile-set Already up-to-date. *** syncing grub2-themes *** synced grub2-themes |