diff options
Diffstat (limited to 'gentoo-playground.txt')
| -rw-r--r-- | gentoo-playground.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gentoo-playground.txt b/gentoo-playground.txt index f633e8267c28..dedbe7c4691a 100644 --- a/gentoo-playground.txt +++ b/gentoo-playground.txt @@ -15,7 +15,6 @@ '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 |