diff options
author | 2020-03-11 08:35:29 +0000 | |
---|---|---|
committer | 2020-03-11 08:35:29 +0000 | |
commit | 5242761f148fc1c835ec0d72e6b5e74f1203d09b (patch) | |
tree | 8f57eccdc6d5cb1dc3bb46157f72a0287ccb95ed /gentoo-playground.txt | |
parent | 2020-03-11T08:00:01Z (diff) | |
download | repos-5242761f148fc1c835ec0d72e6b5e74f1203d09b.tar.gz repos-5242761f148fc1c835ec0d72e6b5e74f1203d09b.tar.bz2 repos-5242761f148fc1c835ec0d72e6b5e74f1203d09b.zip |
2020-03-11T08:30:01Z
Diffstat (limited to 'gentoo-playground.txt')
-rw-r--r-- | gentoo-playground.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gentoo-playground.txt b/gentoo-playground.txt index 335ded38fc60..1a0619cf46df 100644 --- a/gentoo-playground.txt +++ b/gentoo-playground.txt @@ -15,6 +15,7 @@ 'uri': 'git@github.com:sjnewbury/gentoo-playground.git'}], 'status': 'unofficial'} $ pmaint sync gentoo-playground +WARNING:pkgcore:Case_Of repo at '/var/lib/repo-mirror-ci/sync/Case_Of', doesn't specify masters in metadata/layout.conf. Please explicitly set masters (use "masters =" if the repo is standalone). Already up to date. *** syncing gentoo-playground *** synced gentoo-playground |