diff options
Diffstat (limited to 'pentoo.txt')
-rw-r--r-- | pentoo.txt | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/pentoo.txt b/pentoo.txt index 5d84149a4a53..547c6f8d7fe3 100644 --- a/pentoo.txt +++ b/pentoo.txt @@ -10,12 +10,7 @@ {'type': 'git', 'uri': 'git@github.com:pentoo/pentoo-overlay.git'}], 'status': 'official'} $ pmaint sync pentoo -From https://github.com/pentoo/pentoo-overlay - 7c66f45c2..fb4134369 master -> origin/master -Updating 7c66f45c2..fb4134369 -Fast-forward - profiles/pentoo/base/package.use/media-sound | 2 +- - 1 file changed, 1 insertion(+), 1 deletion(-) +Already up to date. *** syncing pentoo *** synced pentoo * Sync succeeded |