commit f95a7bd5056ddb43236b4867f874266df3b3a32a
Author: Sérgio M. Basto <sergio(a)serjux.com>
Date: Tue Aug 30 01:44:06 2016 +0100
Fedora is shipping pgadmin3 again (Fedora 10, 11 and 12), remove in RPM Fusion.
.gitignore | 1 -
dead.package | 1 +
pgadmin3-1.8.4-optflags.patch | 27 ------
pgadmin3.spec | 201 ------------------------------------------
sources | 1 -
5 files changed, 1 insertion(+), 230 deletions(-)
---
diff --git a/dead.package b/dead.package
new file mode 100644
index 0000000..734a574
--- /dev/null
+++ b/dead.package
@@ -0,0 +1 @@
+Fedora is shipping pgadmin3 again (Fedora 10, 11 and 12), remove in RPM Fusion.