diff options
| author |   Aron Griffis <agriffis@gentoo.org> | 2006-04-01 19:14:01 +0000 |
|---|---|---|
| committer | Aron Griffis <agriffis@gentoo.org> | 2006-04-01 19:14:01 +0000 |
| commit | 19e042f54719f137edaa01ad7d506c4f571097a3 (patch) | |
| tree | adfc677a2142fa765990804aabb47e095a3b823e /app-emacs/proofgeneral | |
| parent | Mark 0.1.0-r1 ~ia64 (diff) | |
| download | gentoo-2-19e042f54719f137edaa01ad7d506c4f571097a3.tar.gz gentoo-2-19e042f54719f137edaa01ad7d506c4f571097a3.tar.bz2 gentoo-2-19e042f54719f137edaa01ad7d506c4f571097a3.zip | |
Mark 0.1.0-r1 ~ia64
(Portage version: 2.1_pre5-r4)
Diffstat (limited to 'app-emacs/proofgeneral')
0 files changed, 0 insertions, 0 deletions