diff options
| author |   Marcus D. Hanwell <cryos@gentoo.org> | 2005-08-28 01:38:25 +0000 |
|---|---|---|
| committer | Marcus D. Hanwell <cryos@gentoo.org> | 2005-08-28 01:38:25 +0000 |
| commit | 988810aa107238dde2acaf6784cff6650abcf3fd (patch) | |
| tree | 4f12a6a4da6c55fbedd50768843ac5e53850dccd /app-emacs/proofgeneral | |
| parent | Stable on amd64. (diff) | |
| download | historical-988810aa107238dde2acaf6784cff6650abcf3fd.tar.gz historical-988810aa107238dde2acaf6784cff6650abcf3fd.tar.bz2 historical-988810aa107238dde2acaf6784cff6650abcf3fd.zip | |
Stable on amd64 and x86.
Package-Manager: portage-2.0.51.22-r2
Diffstat (limited to 'app-emacs/proofgeneral')
0 files changed, 0 insertions, 0 deletions