diff options
author | 2015-10-10 16:23:31 -0400 | |
---|---|---|
committer | 2015-10-10 16:23:31 -0400 | |
commit | 8844dbaff8d07d30b1550191b7d66d28fb2286f7 (patch) | |
tree | d17191e62bf756e46a769e2aa999f0023ba261fb /pentoo.txt | |
parent | 2015-10-10T20:00:29 (diff) | |
download | repos-8844dbaff8d07d30b1550191b7d66d28fb2286f7.tar.gz repos-8844dbaff8d07d30b1550191b7d66d28fb2286f7.tar.bz2 repos-8844dbaff8d07d30b1550191b7d66d28fb2286f7.zip |
2015-10-10T20:20:01
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 778994644c27..1039a2930a94 100644 --- a/pentoo.txt +++ b/pentoo.txt @@ -13,12 +13,7 @@ $ pmaint sync pentoo 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 git://github.com/pentoo/pentoo-overlay - 8fa05bc..7238145 master -> origin/master -Updating 8fa05bc..7238145 -Fast-forward - profiles/pentoo/arch/x86-common/make.defaults | 6 +----- - 1 file changed, 1 insertion(+), 5 deletions(-) +Already up-to-date. *** syncing pentoo *** synced pentoo * Sync succeeded |