diff options
| author |   Torsten Veller <tove@gentoo.org> | 2010-06-15 05:41:24 +0000 |
|---|---|---|
| committer | Torsten Veller <tove@gentoo.org> | 2010-06-15 05:41:24 +0000 |
| commit | 1ff4bf5247f886e161619bfef428ac642ffd639d (patch) | |
| tree | abbeddf0cb6226d5d368677ce846070aec401a06 /app-emacs/proofgeneral | |
| parent | Stable on x86 (#323529) (diff) | |
| download | historical-1ff4bf5247f886e161619bfef428ac642ffd639d.tar.gz historical-1ff4bf5247f886e161619bfef428ac642ffd639d.tar.bz2 historical-1ff4bf5247f886e161619bfef428ac642ffd639d.zip | |
Stable on amd64 and x86 (#323529)
Package-Manager: portage-2.2_rc67/cvs/Linux x86_64
Diffstat (limited to 'app-emacs/proofgeneral')
0 files changed, 0 insertions, 0 deletions