diff options
Diffstat (limited to 'jps-gentoo.txt')
| -rw-r--r-- | jps-gentoo.txt | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/jps-gentoo.txt b/jps-gentoo.txt index 53e1f511608e..ea89555ccc77 100644 --- a/jps-gentoo.txt +++ b/jps-gentoo.txt @@ -13,14 +13,7 @@ $ pmaint sync jps-gentoo 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 jps-gentoo -From https://github.com/juippis/jps-gentoo - 7f8619f..8a9bbda master -> origin/master -Updating 7f8619f..8a9bbda -Fast-forward - sys-kernel/pf-sources/Manifest | 1 + - sys-kernel/pf-sources/pf-sources-4.20_p4.ebuild | 76 +++++++++++++++++++++++++ - 2 files changed, 77 insertions(+) - create mode 100644 sys-kernel/pf-sources/pf-sources-4.20_p4.ebuild +Already up to date. *** synced jps-gentoo * Sync succeeded $ git log --format=%ci -1 |