diff options
| author | David Aspinall | 2010-10-01 16:15:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-10-01 16:15:06 +0000 |
| commit | 27116fe22a0ef9b535c23a3163e8dab9d9e3b65e (patch) | |
| tree | b7459772dcabfb0ca3603cad5e153a836e2ef97e /acl2/example.acl2 | |
| parent | 4d57f56ce6ae656889beffb1f12d98a1fd6154fe (diff) | |
Failed attempt to fix font lock customizations for elisp
Diffstat (limited to 'acl2/example.acl2')
0 files changed, 0 insertions, 0 deletions