diff options
author | 2016-05-16 07:42:16 +0000 | |
---|---|---|
committer | 2016-05-16 07:42:16 +0000 | |
commit | f8db5486ea00634118fd9bb1ceaee830611fe887 (patch) | |
tree | 04689f0322349a887db910b967e8e5293136c533 /whiledev.txt | |
parent | 2016-05-16T07:20:01 (diff) | |
download | repos-f8db5486ea00634118fd9bb1ceaee830611fe887.tar.gz repos-f8db5486ea00634118fd9bb1ceaee830611fe887.tar.bz2 repos-f8db5486ea00634118fd9bb1ceaee830611fe887.zip |
2016-05-16T07:40:01
Diffstat (limited to 'whiledev.txt')
-rw-r--r-- | whiledev.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/whiledev.txt b/whiledev.txt index f9f6562bf632..6e366da02f1a 100644 --- a/whiledev.txt +++ b/whiledev.txt @@ -7,6 +7,7 @@ 'uri': 'https://github.com/whiledev/whiledev-overlay.git'}], 'status': 'unofficial'} $ pmaint sync whiledev +WARNING:pkgcore:repository at '/home/mgorny/sync/vala', named 'vala', 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 whiledev |