diff options
Diffstat (limited to 'gentoo.txt')
| -rw-r--r-- | gentoo.txt | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/gentoo.txt b/gentoo.txt index 3c6a4dd821b8..d6e2c42f9c61 100644 --- a/gentoo.txt +++ b/gentoo.txt @@ -16,11 +16,12 @@ $ 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 - 1838328..c3529d4 master -> origin/master -Updating 1838328..c3529d4 + c3529d4..bdc29d6 master -> origin/master +Updating c3529d4..bdc29d6 Fast-forward - gnome-base/gnome-shell/gnome-shell-3.18.3.ebuild | 2 +- - 1 file changed, 1 insertion(+), 1 deletion(-) + .../gsettings-desktop-schemas/gsettings-desktop-schemas-3.18.1.ebuild | 2 +- + gnome-extra/gnome-builder/gnome-builder-3.18.1.ebuild | 2 +- + 2 files changed, 2 insertions(+), 2 deletions(-) *** syncing gentoo *** synced gentoo * Sync succeeded |