diff options
| author |   Mike Frysinger <vapier@gentoo.org> | 2005-05-02 04:46:20 +0000 |
|---|---|---|
| committer | Mike Frysinger <vapier@gentoo.org> | 2005-05-02 04:46:20 +0000 |
| commit | a05a6f973b5fa09c152766334c68090d1ad4f903 (patch) | |
| tree | 08866da77031e3763b002e2747b907011aa2a5fb /app-emacs/proofgeneral | |
| parent | initial import (diff) | |
| download | gentoo-2-a05a6f973b5fa09c152766334c68090d1ad4f903.tar.gz gentoo-2-a05a6f973b5fa09c152766334c68090d1ad4f903.tar.bz2 gentoo-2-a05a6f973b5fa09c152766334c68090d1ad4f903.zip | |
initial import
(Portage version: 2.0.51.21) (Manifest recommit)
(Portage version: 2.0.51.21)
Diffstat (limited to 'app-emacs/proofgeneral')
0 files changed, 0 insertions, 0 deletions