diff options
| author |   Stephen Becker <geoman@gentoo.org> | 2004-03-14 01:01:52 +0000 |
|---|---|---|
| committer | Stephen Becker <geoman@gentoo.org> | 2004-03-14 01:01:52 +0000 |
| commit | 323e0e94897e4dfe6fc44d7048062c0dd86120d6 (patch) | |
| tree | 2c2bc48e9f302e91a021b345124a214d812eece3 /app-emacs/proofgeneral | |
| parent | Stable on sparc. (diff) | |
| download | historical-323e0e94897e4dfe6fc44d7048062c0dd86120d6.tar.gz historical-323e0e94897e4dfe6fc44d7048062c0dd86120d6.tar.bz2 historical-323e0e94897e4dfe6fc44d7048062c0dd86120d6.zip | |
Added ~mips keyword.
Diffstat (limited to 'app-emacs/proofgeneral')
0 files changed, 0 insertions, 0 deletions