summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRepository mirror & CI <repomirrorci@gentoo.org>2020-01-31 05:05:19 +0000
committerRepository mirror & CI <repomirrorci@gentoo.org>2020-01-31 05:05:19 +0000
commit1a76a3fac6a703818de14a48b6e97f574cf72375 (patch)
tree07623fc6693a160c0236c5131fea30abac02f3ad /pg_overlay.txt
parent2020-01-31T04:40:01Z (diff)
downloadrepos-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.txt9
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