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/Manifest
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/Manifest')
0 files changed, 0 insertions, 0 deletions