diff options
Diffstat (limited to 'gentoo.txt')
| -rw-r--r-- | gentoo.txt | 12 |
1 files changed, 1 insertions, 11 deletions
diff --git a/gentoo.txt b/gentoo.txt index 55b5c6a1b1d9..ef89b9f1b0b4 100644 --- a/gentoo.txt +++ b/gentoo.txt @@ -17,17 +17,7 @@ $ pmaint sync gentoo WARNING:pkgcore:repository at '/home/mgorny/sync/steveeJ' has unsupported profile format: profile-set WARNING:pkgcore:repository at '/home/mgorny/sync/xelnor' has unsupported profile format: profile-set WARNING:pkgcore:repository at '/home/mgorny/sync/xelnor' has unsupported profile format: profile-set -From https://anongit.gentoo.org/git/repo/gentoo - 5c7c518..bee2f1f master -> origin/master -Updating 5c7c518..bee2f1f -Fast-forward - x11-libs/vte/Manifest | 1 + - x11-libs/vte/vte-0.46.1.ebuild | 80 ++++++++++++++++++++++ - x11-terms/gnome-terminal/Manifest | 1 + - .../gnome-terminal/gnome-terminal-3.22.1.ebuild | 74 ++++++++++++++++++++ - 4 files changed, 156 insertions(+) - create mode 100644 x11-libs/vte/vte-0.46.1.ebuild - create mode 100644 x11-terms/gnome-terminal/gnome-terminal-3.22.1.ebuild +Already up-to-date. *** syncing gentoo *** synced gentoo * Sync succeeded |