diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2019-03-28 09:03:54 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2019-03-28 09:03:54 +0000 |
| commit | a2e86fdcbb610218532e68229df775683b14f329 (patch) | |
| tree | a9b8cc4bdac00312d586bd4d1731e90a725920b0 /robert7k.txt | |
| parent | 2019-03-28T08:40:01Z (diff) | |
| download | repos-a2e86fdcbb610218532e68229df775683b14f329.tar.gz repos-a2e86fdcbb610218532e68229df775683b14f329.tar.bz2 repos-a2e86fdcbb610218532e68229df775683b14f329.zip | |
2019-03-28T09:00:01Z
Diffstat (limited to 'robert7k.txt')
| -rw-r--r-- | robert7k.txt | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/robert7k.txt b/robert7k.txt index c1cf324a5554..9a024cc52b76 100644 --- a/robert7k.txt +++ b/robert7k.txt @@ -14,7 +14,18 @@ WARNING:pkgcore:'genthree' repo at '/var/lib/repo-mirror-ci/sync/genthree' has u WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/sync/xelnor' has unsupported profile format: build-id WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/sync/xelnor' has unsupported profile format: build-id *** syncing robert7k -Already up to date. +From https://github.com/robert7k/gentoo-overlay + ff80777..8d2fc68 master -> origin/master +Updating ff80777..8d2fc68 +Fast-forward + dev-util/idea/Manifest | 4 ++ + dev-util/idea/files/config-2019 | 2 + + dev-util/idea/files/idea-2019.sh.patch | 11 ++++ + dev-util/idea/idea-2019.1.0.191.6183.87.ebuild | 86 ++++++++++++++++++++++++++ + 4 files changed, 103 insertions(+) + create mode 100644 dev-util/idea/files/config-2019 + create mode 100644 dev-util/idea/files/idea-2019.sh.patch + create mode 100644 dev-util/idea/idea-2019.1.0.191.6183.87.ebuild *** synced robert7k * Sync succeeded $ git log --format=%ci -1 |