diff options
Diffstat (limited to 'robert7k.txt')
| -rw-r--r-- | robert7k.txt | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/robert7k.txt b/robert7k.txt index e63e986555e3..715d4ecb5471 100644 --- a/robert7k.txt +++ b/robert7k.txt @@ -8,12 +8,7 @@ 'uri': 'https://github.com/robert7k/gentoo-overlay.git'}], 'status': 'unofficial'} $ pmaint sync robert7k -From https://github.com/robert7k/gentoo-overlay - fa998a4..32d72b9 master -> origin/master -Updating fa998a4..32d72b9 -Fast-forward - profiles/package.mask | 2 ++ - 1 file changed, 2 insertions(+) +Already up to date. *** syncing robert7k *** synced robert7k * Sync succeeded |