diff options
author | 2016-01-12 01:42:30 +0000 | |
---|---|---|
committer | 2016-01-12 01:42:30 +0000 | |
commit | 3d87b0a9e3a5e7710cda41ae28a937bbdcb96ab8 (patch) | |
tree | afad0a232094dec8844697624767735805e808e3 /regina-gentoo.txt | |
parent | 2016-01-12T01:20:01 (diff) | |
download | repos-3d87b0a9e3a5e7710cda41ae28a937bbdcb96ab8.tar.gz repos-3d87b0a9e3a5e7710cda41ae28a937bbdcb96ab8.tar.bz2 repos-3d87b0a9e3a5e7710cda41ae28a937bbdcb96ab8.zip |
2016-01-12T01:40:01
Diffstat (limited to 'regina-gentoo.txt')
-rw-r--r-- | regina-gentoo.txt | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/regina-gentoo.txt b/regina-gentoo.txt index e2801bec0a26..69c99568b3f9 100644 --- a/regina-gentoo.txt +++ b/regina-gentoo.txt @@ -10,9 +10,7 @@ 'uri': 'git://github.com/WPettersson/regina-gentoo.git'}], 'status': 'unofficial'} $ pmaint sync regina-gentoo -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' -WARNING:pkgcore:repository at location '/home/mgorny/sync/zugaina' lacks a defined repo_name Already up-to-date. *** syncing regina-gentoo *** synced regina-gentoo |