diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2006-08-23 18:55:06 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2006-08-23 18:55:06 +0000 |
| commit | fafbdd53c8f0ec86191acfc7a9c1a389fbfe0a4a (patch) | |
| tree | ff632b8b2d3b4fbd654d0030d3f59f1fabc1854c /twelf/twelf-old.el | |
| parent | bd3935f10a296b7c9fd0a2adf14c4f8312bd4850 (diff) | |
Mention Emacs menu for debug boxes
Diffstat (limited to 'twelf/twelf-old.el')
0 files changed, 0 insertions, 0 deletions