diff options
author | Repository mirror & CI <repomirrorci@gentoo.org> | 2019-08-17 02:05:57 +0000 |
---|---|---|
committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2019-08-17 02:05:57 +0000 |
commit | 2033a0dfdff2a397dc9e1b417b1fb7ee56ea7087 (patch) | |
tree | 9c6589070760cb2400d2ff13a86b1d7f2e490ee7 /pentoo.txt | |
parent | 2019-08-17T01:20:01Z (diff) | |
download | repos-2033a0dfdff2a397dc9e1b417b1fb7ee56ea7087.tar.gz repos-2033a0dfdff2a397dc9e1b417b1fb7ee56ea7087.tar.bz2 repos-2033a0dfdff2a397dc9e1b417b1fb7ee56ea7087.zip |
2019-08-17T02:00:01Z
Diffstat (limited to 'pentoo.txt')
-rw-r--r-- | pentoo.txt | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/pentoo.txt b/pentoo.txt index 792292c7041f..547c6f8d7fe3 100644 --- a/pentoo.txt +++ b/pentoo.txt @@ -10,13 +10,7 @@ {'type': 'git', 'uri': 'git@github.com:pentoo/pentoo-overlay.git'}], 'status': 'official'} $ pmaint sync pentoo -From https://github.com/pentoo/pentoo-overlay - a8baa4183..bd59b12a3 master -> origin/master -Updating a8baa4183..bd59b12a3 -Fast-forward - .../{pentoo-radio-2019.2-r2.ebuild => pentoo-radio-2019.2-r3.ebuild} | 2 +- - 1 file changed, 1 insertion(+), 1 deletion(-) - rename pentoo/pentoo-radio/{pentoo-radio-2019.2-r2.ebuild => pentoo-radio-2019.2-r3.ebuild} (97%) +Already up to date. *** syncing pentoo *** synced pentoo * Sync succeeded |