diff options
Diffstat (limited to 'gentoo.txt')
| -rw-r--r-- | gentoo.txt | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/gentoo.txt b/gentoo.txt index f3d81f50945d..4c5263150a76 100644 --- a/gentoo.txt +++ b/gentoo.txt @@ -18,7 +18,15 @@ WARNING:pkgcore:'genthree' repo at '/var/lib/repo-mirror-ci/sync/genthree' has u WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/sync/xelnor' has unsupported profile format: build-id WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/sync/xelnor' has unsupported profile format: build-id *** syncing gentoo -Already up to date. +From https://anongit.gentoo.org/git/repo/gentoo + adca6ff181c..5524ddb7021 master -> origin/master +Updating adca6ff181c..5524ddb7021 +Fast-forward + dev-python/setuptools/Manifest | 1 - + dev-python/setuptools/setuptools-40.7.0.ebuild | 71 -------------------------- + sys-devel/prelink/prelink-20151030.ebuild | 4 +- + 3 files changed, 2 insertions(+), 74 deletions(-) + delete mode 100644 dev-python/setuptools/setuptools-40.7.0.ebuild *** synced gentoo * Sync succeeded $ git log --format=%ci -1 |