diff options
author | 2019-02-21 06:23:32 +0000 | |
---|---|---|
committer | 2019-02-21 06:23:32 +0000 | |
commit | 177218b159d230f080b76d7bf86d8c19c12676e5 (patch) | |
tree | 899de2f5711826ceed0bd6ecbaaa6fe374373d3a /distros.txt | |
parent | 2019-02-21T06:00:01Z (diff) | |
download | repos-177218b159d230f080b76d7bf86d8c19c12676e5.tar.gz repos-177218b159d230f080b76d7bf86d8c19c12676e5.tar.bz2 repos-177218b159d230f080b76d7bf86d8c19c12676e5.zip |
2019-02-21T06:20:01Z
Diffstat (limited to 'distros.txt')
-rw-r--r-- | distros.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/distros.txt b/distros.txt index c8e773388a1d..b3051562eb26 100644 --- a/distros.txt +++ b/distros.txt @@ -10,6 +10,8 @@ $ pmaint sync distros WARNING:pkgcore:'genthree' repo at '/var/lib/repo-mirror-ci/sync/genthree' has unsupported profile format: profile-bashrcs WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/sync/xelnor' has unsupported profile format: build-id *** syncing distros +From git://git.calculate.ru/calculate/distros + 140f230..ffc6eae develop -> origin/develop Already up to date. *** synced distros * Sync succeeded |