diff options
author | 2020-01-31 05:05:19 +0000 | |
---|---|---|
committer | 2020-01-31 05:05:19 +0000 | |
commit | 1a76a3fac6a703818de14a48b6e97f574cf72375 (patch) | |
tree | 07623fc6693a160c0236c5131fea30abac02f3ad /pg_overlay.txt | |
parent | 2020-01-31T04:40:01Z (diff) | |
download | repos-1a76a3fac6a703818de14a48b6e97f574cf72375.tar.gz repos-1a76a3fac6a703818de14a48b6e97f574cf72375.tar.bz2 repos-1a76a3fac6a703818de14a48b6e97f574cf72375.zip |
2020-01-31T05:00:01Z
Diffstat (limited to 'pg_overlay.txt')
-rw-r--r-- | pg_overlay.txt | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/pg_overlay.txt b/pg_overlay.txt index c0f7c3c5bd34..1004bb6120c2 100644 --- a/pg_overlay.txt +++ b/pg_overlay.txt @@ -10,14 +10,7 @@ 'uri': 'https://github.com/perfect7gentleman/pg_overlay.git'}], 'status': 'unofficial'} $ pmaint sync pg_overlay -From https://github.com/perfect7gentleman/pg_overlay - f0f72d78c..6485a5a61 master -> origin/master -Updating f0f72d78c..6485a5a61 -Fast-forward - dev-util/android-tools/Manifest | 4 +- - .../android-tools/android-tools-9.0.0_p52.ebuild | 2 +- - dev-util/android-tools/files/fix_build_core.patch | 78 ---------------------- - 3 files changed, 3 insertions(+), 81 deletions(-) +Already up to date. *** syncing pg_overlay *** synced pg_overlay * Sync succeeded |