diff options
author | 2010-08-18 17:00:02 +0000 | |
---|---|---|
committer | 2010-08-18 17:00:02 +0000 | |
commit | 7cce12e5980089ecbfa011708297edefee182200 (patch) | |
tree | 07ea6d35407a9f64310a80052f271f87588a920f /generic/proof-mmm.el | |
parent | 2a2e7bcea8900ef4f90ebf55fd1c82faab131b83 (diff) |
Simplify installation instructions
Diffstat (limited to 'generic/proof-mmm.el')
0 files changed, 0 insertions, 0 deletions