diff options
Diffstat (limited to 'Armageddon.txt')
| -rw-r--r-- | Armageddon.txt | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Armageddon.txt b/Armageddon.txt index 64adf7567806..016414c8b4ac 100644 --- a/Armageddon.txt +++ b/Armageddon.txt @@ -13,11 +13,10 @@ {'type': 'git', 'uri': 'git+ssh://git@git.gentoo.org/user/Armageddon.git'}], 'status': 'unofficial'} - * Adding new repository $ pmaint sync Armageddon 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' -Cloning into '/home/mgorny/sync/Armageddon'... +Already up-to-date. *** syncing Armageddon *** synced Armageddon * Sync succeeded |