[pgadmin3] Fedora is shipping pgadmin3 again (Fedora 10, 11 and 12), remove in RPM Fusion.

[Sérgio M. Basto]

commit f95a7bd5056ddb43236b4867f874266df3b3a32a
Author: Sérgio M. Basto <sergio at 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.