projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5e7a056) | patch
dev-db/pgadmin3,profiles/package.mask: Removal
authorAaron W. Swenson <titanofold@gentoo.org>
Fri, 21 Jun 2019 11:45:34 +0000 (07:45 -0400)
committerAaron W. Swenson <titanofold@gentoo.org>
Fri, 21 Jun 2019 11:45:34 +0000 (07:45 -0400)
commitba00bd4413d1043b56a08697877745e69d35a562
treeb6aae4f648d3e16282307f674df8e4fe12dee26btree | snapshot
parent5e7a0561775f3dffbe01f129baf4ee780cbb089fcommit | diff
dev-db/pgadmin3,profiles/package.mask: Removal

dev-db/pgadmin3 has been removed. Use dev-db/pgadmin4 instead.

Closes: https://bugs.gentoo.org/669650
Closes: https://bugs.gentoo.org/663966
Signed-off-by: Aaron W. Swenson <titanofold@gentoo.org>
dev-db/pgadmin3/Manifest [deleted file] blob | history
dev-db/pgadmin3/files/pgadmin3-desktop-r1.patch [deleted file] blob | history
dev-db/pgadmin3/files/pgadmin3-gcc6-null-pointer.patch [deleted file] blob | history
dev-db/pgadmin3/metadata.xml [deleted file] blob | history
dev-db/pgadmin3/pgadmin3-1.22.2.ebuild [deleted file] blob | history
profiles/package.mask diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.