diff options
| author | David Aspinall | 2000-05-12 17:07:20 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-12 17:07:20 +0000 |
| commit | f0a93413381aa18a8bf917a560b2a4ca8e7fb321 (patch) | |
| tree | 14318c790cef31410d4e49c94d453147e270ace2 /doc/docstring-magic.el | |
| parent | 81a558cfe314cc98582e6fb711fbb1d7e1738ea5 (diff) | |
Remove proof-assistant-menu-entries, done generically now.
Diffstat (limited to 'doc/docstring-magic.el')
0 files changed, 0 insertions, 0 deletions