diff options
author | 2017-11-30 02:22:08 +0000 | |
---|---|---|
committer | 2017-11-30 02:22:08 +0000 | |
commit | 87076f168d6adbe6e0104e1b4250af1d91cbf6c2 (patch) | |
tree | 1519d22295ff116aa61c2f4772cd8b75e1db5af7 /JRG.txt | |
parent | 2017-11-30T02:00:28Z (diff) | |
download | repos-87076f168d6adbe6e0104e1b4250af1d91cbf6c2.tar.gz repos-87076f168d6adbe6e0104e1b4250af1d91cbf6c2.tar.bz2 repos-87076f168d6adbe6e0104e1b4250af1d91cbf6c2.zip |
2017-11-30T02:20:01Z
Diffstat (limited to 'JRG.txt')
-rw-r--r-- | JRG.txt | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -14,10 +14,8 @@ 'uri': 'git@github.com:john-r-graham/jrg-overlay.git'}], 'status': 'unofficial'} $ pmaint sync JRG -WARNING:pkgcore:repo lacks a defined name: '/home/mgorny/sync/zugaina' WARNING:pkgcore:'genthree' repo at '/home/mgorny/sync/genthree' has unsupported profile format: profile-bashrcs WARNING:pkgcore:'xelnor' repo at '/home/mgorny/sync/xelnor' has unsupported profile format: build-id -WARNING:pkgcore:repo lacks a defined name: '/home/mgorny/sync/zugaina' WARNING:pkgcore:'xelnor' repo at '/home/mgorny/sync/xelnor' has unsupported profile format: build-id Already up to date. *** syncing JRG |