diff options
author | 2004-10-09 14:08:24 +0000 | |
---|---|---|
committer | 2004-10-09 14:08:24 +0000 | |
commit | 637d296a31ab3b2860f855d8dc52c1eabe5d6eae (patch) | |
tree | 5dc02c3ca55df6dc7082dd3aaa0c8072ba056238 /app-emacs/proofgeneral/Manifest | |
parent | Stable on x86 (Manifest recommit) (diff) | |
download | gentoo-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