diff options
Diffstat (limited to 'gentoo.txt')
| -rw-r--r-- | gentoo.txt | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/gentoo.txt b/gentoo.txt index 457c081427af..d6ab3dced398 100644 --- a/gentoo.txt +++ b/gentoo.txt @@ -15,7 +15,14 @@ 'status': 'official'} $ pmaint sync gentoo WARNING:pkgcore:repository at '/home/mgorny/sync/steveeJ' has unsupported profile format(s): 'profile-set' -Already up-to-date. +From https://anongit.gentoo.org/git/repo/gentoo + 1cdb72b..4f398ad master -> origin/master +Updating 1cdb72b..4f398ad +Fast-forward + dev-db/mycli/Manifest | 1 + + dev-db/mycli/mycli-1.6.0.ebuild | 32 ++++++++++++++++++++++++++++++++ + 2 files changed, 33 insertions(+) + create mode 100644 dev-db/mycli/mycli-1.6.0.ebuild *** syncing gentoo *** synced gentoo * Sync succeeded |