diff options
Diffstat (limited to 'gentoo.txt')
| -rw-r--r-- | gentoo.txt | 13 |
1 files changed, 1 insertions, 12 deletions
diff --git a/gentoo.txt b/gentoo.txt index d7fe33983f19..457c081427af 100644 --- a/gentoo.txt +++ b/gentoo.txt @@ -15,18 +15,7 @@ 'status': 'official'} $ pmaint sync gentoo WARNING:pkgcore:repository at '/home/mgorny/sync/steveeJ' has unsupported profile format(s): 'profile-set' -From https://anongit.gentoo.org/git/repo/gentoo - 17caa37..991e151 master -> origin/master -Updating 17caa37..991e151 -Fast-forward - dev-libs/leatherman/Manifest | 1 + - dev-libs/leatherman/leatherman-0.4.2.ebuild | 51 +++++++++++++++++++++++++++++ - dev-libs/leatherman/metadata.xml | 11 +++++++ - dev-ruby/facter/facter-3.1.5.ebuild | 2 +- - 4 files changed, 64 insertions(+), 1 deletion(-) - create mode 100644 dev-libs/leatherman/Manifest - create mode 100644 dev-libs/leatherman/leatherman-0.4.2.ebuild - create mode 100644 dev-libs/leatherman/metadata.xml +Already up-to-date. *** syncing gentoo *** synced gentoo * Sync succeeded |