diff options
author | 2019-11-22 21:45:19 +0000 | |
---|---|---|
committer | 2019-11-22 21:45:19 +0000 | |
commit | 4ffbb1fc385b5a65b8abc1333df9307c94c6bbfe (patch) | |
tree | bda40f12edea9f050563a5464de768f00d9a9d7d /jacendi-overlay.txt | |
parent | 2019-11-22T21:20:01Z (diff) | |
download | repos-4ffbb1fc385b5a65b8abc1333df9307c94c6bbfe.tar.gz repos-4ffbb1fc385b5a65b8abc1333df9307c94c6bbfe.tar.bz2 repos-4ffbb1fc385b5a65b8abc1333df9307c94c6bbfe.zip |
2019-11-22T21:40: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 |