diff options
| author | David Aspinall | 2000-05-12 17:07:47 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-12 17:07:47 +0000 |
| commit | f6f6076c959a724fc4f0a0da25bb85910be97bde (patch) | |
| tree | 254681a4bcd724ad8dda0079c6dc1723232a08c2 /doc/docstring-magic.el | |
| parent | f0a93413381aa18a8bf917a560b2a4ca8e7fb321 (diff) | |
Fixup menus a bit. Remove proof-prf on options change.
Diffstat (limited to 'doc/docstring-magic.el')
0 files changed, 0 insertions, 0 deletions