summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'ext-devlibs.txt')
-rw-r--r--ext-devlibs.txt2
1 files changed, 2 insertions, 0 deletions
diff --git a/ext-devlibs.txt b/ext-devlibs.txt
index f3c87c835d5d..150af6c75f8f 100644
--- a/ext-devlibs.txt
+++ b/ext-devlibs.txt
@@ -9,6 +9,8 @@
'status': 'unofficial'}
$ pmaint sync ext-devlibs
WARNING:pkgcore:repo at '/home/mgorny/sync/gentoo-playground', named 'gentoo-playground', doesn't specify masters in metadata/layout.conf. Please explicitly set masters (use "masters =" if the repo is standalone).
+WARNING:pkgcore:repo lacks a defined name: '/home/mgorny/sync/zugaina'
+WARNING:pkgcore:repo lacks a defined name: '/home/mgorny/sync/zugaina'
Current branch master is up to date.
*** syncing ext-devlibs
*** synced ext-devlibs