diff options
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 7a1ee9b1d1eb..12d2bab7af18 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 - 1628e08..65d0adc master -> origin/master -Updating 1628e08..65d0adc -Fast-forward - dev-util/idea/Manifest | 2 + - dev-util/idea/idea-2020.2.0.202.6397.94.ebuild | 85 ++++++++++++++++++++++++++ - 2 files changed, 87 insertions(+) - create mode 100644 dev-util/idea/idea-2020.2.0.202.6397.94.ebuild +Already up to date. *** syncing robert7k *** synced robert7k * Sync succeeded |