diff options
author | 2020-07-08 17:35:03 +0000 | |
---|---|---|
committer | 2020-07-08 17:35:03 +0000 | |
commit | 3dd31eb95d8eb614d5539c392b9bc5fb9536c49e (patch) | |
tree | 970d32b3c00026024d8d1902f602f83103a2ecdf /pentoo.txt | |
parent | 2020-07-08T17:00:01Z (diff) | |
download | repos-3dd31eb95d8eb614d5539c392b9bc5fb9536c49e.tar.gz repos-3dd31eb95d8eb614d5539c392b9bc5fb9536c49e.tar.bz2 repos-3dd31eb95d8eb614d5539c392b9bc5fb9536c49e.zip |
2020-07-08T17:30:01Z
Diffstat (limited to 'pentoo.txt')
-rw-r--r-- | pentoo.txt | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pentoo.txt b/pentoo.txt index ab7ebc30ff89..5d84149a4a53 100644 --- a/pentoo.txt +++ b/pentoo.txt @@ -11,11 +11,11 @@ 'status': 'official'} $ pmaint sync pentoo From https://github.com/pentoo/pentoo-overlay - f9fc5874d..7c66f45c2 master -> origin/master -Updating f9fc5874d..7c66f45c2 + 7c66f45c2..fb4134369 master -> origin/master +Updating 7c66f45c2..fb4134369 Fast-forward - profiles/pentoo/base/package.use/sys-libs | 2 ++ - 1 file changed, 2 insertions(+) + profiles/pentoo/base/package.use/media-sound | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) *** syncing pentoo *** synced pentoo * Sync succeeded |