diff options
Diffstat (limited to 'gentoo.txt')
| -rw-r--r-- | gentoo.txt | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/gentoo.txt b/gentoo.txt index 23db4495b066..9957b4bc08d0 100644 --- a/gentoo.txt +++ b/gentoo.txt @@ -16,14 +16,7 @@ $ pmaint sync gentoo WARNING:pkgcore:repository at '/home/mgorny/sync/steveeJ' has unsupported profile format(s): 'profile-set' WARNING:pkgcore:repository at '/home/mgorny/sync/steveeJ' has unsupported profile format(s): 'profile-set' -From https://anongit.gentoo.org/git/repo/gentoo - bf1857a..463e004 master -> origin/master -Updating bf1857a..463e004 -Fast-forward - media-video/ffmpeg/Manifest | 1 + - media-video/ffmpeg/ffmpeg-2.8.1.ebuild | 455 +++++++++++++++++++++++++++++++++ - 2 files changed, 456 insertions(+) - create mode 100644 media-video/ffmpeg/ffmpeg-2.8.1.ebuild +Already up-to-date. *** syncing gentoo *** synced gentoo * Sync succeeded |