diff options
Diffstat (limited to 'pentoo.txt')
| -rw-r--r-- | pentoo.txt | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/pentoo.txt b/pentoo.txt index 1c37a66998eb..014857377cfe 100644 --- a/pentoo.txt +++ b/pentoo.txt @@ -15,12 +15,7 @@ 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 pentoo -From https://github.com/pentoo/pentoo-overlay - e4f0b1dd..2cbc1094 master -> origin/master -Updating e4f0b1dd..2cbc1094 -Fast-forward - profiles/pentoo/base/make.defaults | 2 +- - 1 file changed, 1 insertion(+), 1 deletion(-) +Already up to date. *** synced pentoo * Sync succeeded $ git log --format=%ci -1 |