diff options
author | 2018-09-13 06:23:45 +0000 | |
---|---|---|
committer | 2018-09-13 06:23:45 +0000 | |
commit | 797cdb8c33852615de841d55afdf5a6ad1e38a39 (patch) | |
tree | b9a6e21cc06f9bb787a6e3b989f3efa5de97ebfe /distros.txt | |
parent | 2018-09-13T06:00:01Z (diff) | |
download | repos-797cdb8c33852615de841d55afdf5a6ad1e38a39.tar.gz repos-797cdb8c33852615de841d55afdf5a6ad1e38a39.tar.bz2 repos-797cdb8c33852615de841d55afdf5a6ad1e38a39.zip |
2018-09-13T06: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..ff5e2a49339f 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 + f57be21..c46e4f6 develop -> origin/develop Already up to date. *** synced distros * Sync succeeded |