app-emacs/proofgeneral: Remove old.
authorUlrich Müller <ulm@gentoo.org>
Sun, 13 Oct 2019 11:15:43 +0000 (13:15 +0200)
committerUlrich Müller <ulm@gentoo.org>
Sun, 13 Oct 2019 11:15:43 +0000 (13:15 +0200)
commit1252a62f41fad070f515a926448702a5d48c1e60
tree1178ccb82797ab7ab9af10ddee2b6b03c30921ce
parenta1aca3d2fc31b540a97b0633e52488e13fedbda5
app-emacs/proofgeneral: Remove old.

Package-Manager: Portage-2.3.76, Repoman-2.3.17
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
app-emacs/proofgeneral/Manifest
app-emacs/proofgeneral/files/proofgeneral-4.2-bytecomp-warn.patch [deleted file]
app-emacs/proofgeneral/proofgeneral-4.2.ebuild [deleted file]