diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-06-21 21:25:39 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-06-21 21:25:39 +0000 |
| commit | e35d700b86be51863bbfc6f3f52105e8f9418313 (patch) | |
| tree | f789e65c34d9d510c10efbdff1e67974cb428096 /COPYING | |
| parent | 61efa43b378f14e5bf936807cdb217ee865a4ea4 (diff) | |
Isar is default over isa.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions