diff options
author | 2015-10-09 20:43:29 -0400 | |
---|---|---|
committer | 2015-10-09 20:43:29 -0400 | |
commit | bc177e2534d49bbf780bb4c53c884a52b7803863 (patch) | |
tree | 05c7aea369f1eeb258ffd1fbc56df91e4d716d37 /mv.txt | |
parent | 2015-10-10T00:20:01 (diff) | |
download | repos-bc177e2534d49bbf780bb4c53c884a52b7803863.tar.gz repos-bc177e2534d49bbf780bb4c53c884a52b7803863.tar.bz2 repos-bc177e2534d49bbf780bb4c53c884a52b7803863.zip |
2015-10-10T00:40:01
Diffstat (limited to 'mv.txt')
-rw-r--r-- | mv.txt | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -13,7 +13,6 @@ 'uri': 'git+ssh://git@git.gentoo.org/user/mv.git'}], 'status': 'unofficial'} $ pmaint sync mv -WARNING:pkgcore:repository at location '/home/mgorny/sync/zugaina' lacks a defined repo_name WARNING:pkgcore:repository at '/home/mgorny/sync/steveeJ' has unsupported profile format(s): 'profile-set' Already up-to-date. *** syncing mv |