diff options
| author | David Aspinall | 1998-12-16 18:09:27 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-16 18:09:27 +0000 |
| commit | f5eac3af8d3bab3352b47e5505299e0e0d948860 (patch) | |
| tree | 7191de35cd9485c5ea5b58c7814c231a08386bcc /doc/docstring-magic.el | |
| parent | 116a5129d07d8a08a04391c515f6f19d3cfb04a9 (diff) | |
Removed space from ProofGeneral name.
Diffstat (limited to 'doc/docstring-magic.el')
0 files changed, 0 insertions, 0 deletions