diff options
| author |   Raúl Porcel <armin76@gentoo.org> | 2009-03-18 14:22:11 +0000 |
|---|---|---|
| committer | Raúl Porcel <armin76@gentoo.org> | 2009-03-18 14:22:11 +0000 |
| commit | 6a1b73790bc5b96d248ebe12f91625829f479ad8 (patch) | |
| tree | 7f5fe69e296891be550e07f037cf3673dd80839c /app-emacs/proofgeneral | |
| parent | alpha/ia64 stable wrt #260063 (diff) | |
| download | gentoo-2-6a1b73790bc5b96d248ebe12f91625829f479ad8.tar.gz gentoo-2-6a1b73790bc5b96d248ebe12f91625829f479ad8.tar.bz2 gentoo-2-6a1b73790bc5b96d248ebe12f91625829f479ad8.zip | |
alpha/ia64 stable wrt #260063
(Portage version: 2.1.6.7/cvs/Linux ia64)
Diffstat (limited to 'app-emacs/proofgeneral')
0 files changed, 0 insertions, 0 deletions