diff options
Diffstat (limited to 'pentoo.txt')
| -rw-r--r-- | pentoo.txt | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/pentoo.txt b/pentoo.txt index 7088e86bc668..8afeb996deee 100644 --- a/pentoo.txt +++ b/pentoo.txt @@ -12,14 +12,7 @@ 'status': 'official'} $ pmaint sync pentoo WARNING:pkgcore:repo at '/home/mgorny/sync/gentoo-playground', named 'gentoo-playground', doesn't specify masters in metadata/layout.conf. Please explicitly set masters (use "masters =" if the repo is standalone). -From https://github.com/pentoo/pentoo-overlay - a5985a00..5f0f008d master -> origin/master -Updating a5985a00..5f0f008d -Fast-forward - net-proxy/burpsuite/Manifest | 2 +- - .../burpsuite/{burpsuite-1.7.24.ebuild => burpsuite-1.7.26.ebuild} | 0 - 2 files changed, 1 insertion(+), 1 deletion(-) - rename net-proxy/burpsuite/{burpsuite-1.7.24.ebuild => burpsuite-1.7.26.ebuild} (100%) +Already up-to-date. *** syncing pentoo *** synced pentoo * Sync succeeded |