diff options
Diffstat (limited to 'grub2-themes.txt')
| -rw-r--r-- | grub2-themes.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/grub2-themes.txt b/grub2-themes.txt index 4f22600cd516..5d497db62d4d 100644 --- a/grub2-themes.txt +++ b/grub2-themes.txt @@ -14,7 +14,6 @@ 'uri': 'git@github.com:gentoo/grub2-themes-overlay.git'}], 'status': 'official'} $ pmaint sync grub2-themes -WARNING:pkgcore:repository at '/home/mgorny/sync/dsr', named 'dsr', doesn't specify masters in metadata/layout.conf. Defaulting to whatever repository is defined as 'default' (gentoo usually). Please explicitly set the masters, or set masters = '' if the repository is standalone. WARNING:pkgcore:repository at '/home/mgorny/sync/steveeJ' has unsupported profile format(s): 'profile-set' Already up-to-date. *** syncing grub2-themes |