diff options
Diffstat (limited to 'gentoo.txt')
| -rw-r--r-- | gentoo.txt | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/gentoo.txt b/gentoo.txt index ad9dc3467f70..62e2d02b0e8a 100644 --- a/gentoo.txt +++ b/gentoo.txt @@ -15,12 +15,7 @@ 'status': 'official'} $ pmaint sync gentoo WARNING:pkgcore:repo at '/home/mgorny/sync/steveeJ' has unsupported profile format: profile-set -From https://anongit.gentoo.org/git/repo/gentoo - 178186ba43..8b47637476 master -> origin/master -Updating 178186ba43..8b47637476 -Fast-forward - dev-libs/libpcre2/libpcre2-10.22.ebuild | 2 +- - 1 file changed, 1 insertion(+), 1 deletion(-) +Already up-to-date. *** syncing gentoo *** synced gentoo * Sync succeeded |