diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2020-07-31 18:05:10 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2020-07-31 18:05:10 +0000 |
| commit | eb6f742f01243e4d222a158119261c12ba9dedf5 (patch) | |
| tree | 42e71853cddd2096b732c2d495f1ff7ef3b1b7e0 /robert7k.txt | |
| parent | 2020-07-31T17:30:01Z (diff) | |
| download | repos-eb6f742f01243e4d222a158119261c12ba9dedf5.tar.gz repos-eb6f742f01243e4d222a158119261c12ba9dedf5.tar.bz2 repos-eb6f742f01243e4d222a158119261c12ba9dedf5.zip | |
2020-07-31T18:00:01Z
Diffstat (limited to 'robert7k.txt')
| -rw-r--r-- | robert7k.txt | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/robert7k.txt b/robert7k.txt index 12d2bab7af18..f5fca3417bab 100644 --- a/robert7k.txt +++ b/robert7k.txt @@ -8,7 +8,15 @@ 'uri': 'https://github.com/robert7k/gentoo-overlay.git'}], 'status': 'unofficial'} $ pmaint sync robert7k -Already up to date. +From https://github.com/robert7k/gentoo-overlay + 65d0adc..816b810 master -> origin/master +Updating 65d0adc..816b810 +Fast-forward + www-servers/tomcat/Manifest | 2 + + www-servers/tomcat/tomcat-8.5.57-r1.ebuild | 163 +++++++++++++++++++++++++++++ + 2 files changed, 165 insertions(+) + create mode 100644 www-servers/tomcat/Manifest + create mode 100644 www-servers/tomcat/tomcat-8.5.57-r1.ebuild *** syncing robert7k *** synced robert7k * Sync succeeded |