commit f95a7bd5056ddb43236b4867f874266df3b3a32a Author: Sérgio M. Basto <sergio(a)serjux.com&gt; 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.