diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2020-02-11 16:36:02 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2020-02-11 16:36:02 +0000 |
| commit | 426f2a44d2d8fa5dbcb20f3615a1469972a2724c (patch) | |
| tree | f43f67d5ed55df86e4347690a779adfbd53c6f79 /robert7k.txt | |
| parent | 2020-02-11T16:00:01Z (diff) | |
| download | repos-426f2a44d2d8fa5dbcb20f3615a1469972a2724c.tar.gz repos-426f2a44d2d8fa5dbcb20f3615a1469972a2724c.tar.bz2 repos-426f2a44d2d8fa5dbcb20f3615a1469972a2724c.zip | |
2020-02-11T16:30:01Z
Diffstat (limited to 'robert7k.txt')
| -rw-r--r-- | robert7k.txt | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/robert7k.txt b/robert7k.txt index d6e31f244285..715d4ecb5471 100644 --- a/robert7k.txt +++ b/robert7k.txt @@ -8,14 +8,7 @@ 'uri': 'https://github.com/robert7k/gentoo-overlay.git'}], 'status': 'unofficial'} $ pmaint sync robert7k -From https://github.com/robert7k/gentoo-overlay - 32d72b9..4e5de98 master -> origin/master -Updating 32d72b9..4e5de98 -Fast-forward - dev-util/idea/Manifest | 4 ++-- - ...a-2019.3.2.193.6015.39.ebuild => idea-2019.3.3.193.6494.35.ebuild} | 1 - - 2 files changed, 2 insertions(+), 3 deletions(-) - rename dev-util/idea/{idea-2019.3.2.193.6015.39.ebuild => idea-2019.3.3.193.6494.35.ebuild} (98%) +Already up to date. *** syncing robert7k *** synced robert7k * Sync succeeded |