diff options
author | 2019-11-22 21:05:21 +0000 | |
---|---|---|
committer | 2019-11-22 21:05:21 +0000 | |
commit | 6c6abfa93ea512a23393eaa820f411dac363e47d (patch) | |
tree | b0425faa745b7f987611d17afa69164ad8c65086 /jacendi-overlay.txt | |
parent | 2019-11-22T20:40:01Z (diff) | |
download | repos-6c6abfa93ea512a23393eaa820f411dac363e47d.tar.gz repos-6c6abfa93ea512a23393eaa820f411dac363e47d.tar.bz2 repos-6c6abfa93ea512a23393eaa820f411dac363e47d.zip |
2019-11-22T21:00:01Z
Diffstat (limited to 'jacendi-overlay.txt')
-rw-r--r-- | jacendi-overlay.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/jacendi-overlay.txt b/jacendi-overlay.txt index 8449013d89f4..850bf08aaea3 100644 --- a/jacendi-overlay.txt +++ b/jacendi-overlay.txt @@ -10,6 +10,7 @@ 'uri': 'https://bitbucket.org/jacendi/jacendi-overlay'}], 'status': 'unofficial'} $ pmaint sync jacendi-overlay +WARNING:pkgcore:grub2-themes repo at '/var/lib/repo-mirror-ci/sync/grub2-themes', doesn't specify masters in metadata/layout.conf. Please explicitly set masters (use "masters =" if the repo is standalone). Already up to date. *** syncing jacendi-overlay *** synced jacendi-overlay |