diff options
Diffstat (limited to 'gentoo.txt')
| -rw-r--r-- | gentoo.txt | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/gentoo.txt b/gentoo.txt index a73aa87bff8f..457c081427af 100644 --- a/gentoo.txt +++ b/gentoo.txt @@ -15,16 +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 - 251e0d0..6442ffd master -> origin/master -Updating 251e0d0..6442ffd -Fast-forward - net-mail/mpop/Manifest | 3 +- - net-mail/mpop/mpop-1.0.29.ebuild | 77 ---------------------- - .../mpop/{mpop-1.2.0.ebuild => mpop-1.2.4.ebuild} | 13 ++-- - 3 files changed, 9 insertions(+), 84 deletions(-) - delete mode 100644 net-mail/mpop/mpop-1.0.29.ebuild - rename net-mail/mpop/{mpop-1.2.0.ebuild => mpop-1.2.4.ebuild} (79%) +Already up-to-date. *** syncing gentoo *** synced gentoo * Sync succeeded |