diff options
Diffstat (limited to 'sage-on-gentoo.txt')
| -rw-r--r-- | sage-on-gentoo.txt | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/sage-on-gentoo.txt b/sage-on-gentoo.txt index 7e975f3c1254..e8a0e8fa5de3 100644 --- a/sage-on-gentoo.txt +++ b/sage-on-gentoo.txt @@ -17,12 +17,8 @@ WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/sync/xelnor' has unsup WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/sync/xelnor' has unsupported profile format: build-id *** syncing sage-on-gentoo From git://github.com/cschwan/sage-on-gentoo - 2d482486..75176b98 master -> origin/master - 3b3c7fec..73573fe5 vbraun -> origin/vbraun -Updating 2d482486..75176b98 -Fast-forward - package.keywords/gap-4.10.0 | 32 ++++++++++++++++++++++++++++++++ - 1 file changed, 32 insertions(+) + 73573fe5..55ae3b0c vbraun -> origin/vbraun +Already up to date. *** synced sage-on-gentoo * Sync succeeded $ git log --format=%ci -1 |