diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2000-10-30 17:15:55 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2000-10-30 17:15:55 +0000 |
| commit | 5e2bdd1d33f08223b6ecf0f379e6b12d807e032b (patch) | |
| tree | c379d4bbf3d137b57ca8946cfdd93c3da5c3fd97 /acl2 | |
| parent | 08283160d1753335bb36df641ca17b218280a235 (diff) | |
tuned font-lock-keywords;
Diffstat (limited to 'acl2')
0 files changed, 0 insertions, 0 deletions