summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMatthieu Sozeau <mattam@gentoo.org>2004-10-09 14:08:24 +0000
committerMatthieu Sozeau <mattam@gentoo.org>2004-10-09 14:08:24 +0000
commit637d296a31ab3b2860f855d8dc52c1eabe5d6eae (patch)
tree5dc02c3ca55df6dc7082dd3aaa0c8072ba056238 /app-emacs/proofgeneral/files
parentStable on x86 (Manifest recommit) (diff)
downloadgentoo-2-637d296a31ab3b2860f855d8dc52c1eabe5d6eae.tar.gz
gentoo-2-637d296a31ab3b2860f855d8dc52c1eabe5d6eae.tar.bz2
gentoo-2-637d296a31ab3b2860f855d8dc52c1eabe5d6eae.zip
Move 3.5 to stable, remove old version.
Diffstat (limited to 'app-emacs/proofgeneral/files')
-rw-r--r--app-emacs/proofgeneral/files/digest-proofgeneral-3.41
1 files changed, 0 insertions, 1 deletions
diff --git a/app-emacs/proofgeneral/files/digest-proofgeneral-3.4 b/app-emacs/proofgeneral/files/digest-proofgeneral-3.4
deleted file mode 100644
index 4fdb13f9263e..000000000000
--- a/app-emacs/proofgeneral/files/digest-proofgeneral-3.4
+++ /dev/null
@@ -1 +0,0 @@
-MD5 83eafa68f0c733800b2da3a6a22c31d7 ProofGeneral-3.4.tar.gz 762807