diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 09:06:50 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 09:06:50 +0000 |
| commit | f89bae77a8e6dee45aabfd7cd5306ca996f71f36 (patch) | |
| tree | 5b47e255d28f3542ea0a55e344bdd7ca09d1db99 /isar/README | |
| parent | 288077d0348d0f77efdc0c14d9f0ecea5cee981d (diff) | |
Don't try to compile obsolete twelf Emacs code.
Diffstat (limited to 'isar/README')
0 files changed, 0 insertions, 0 deletions