diff options
| author | David Aspinall | 2000-05-05 11:13:53 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-05 11:13:53 +0000 |
| commit | f92d43b2abf0c0fed4da25e328e370c9f2faecf1 (patch) | |
| tree | de73d3e9f600b15fcb72cdb81e9919f7e4ff63e7 /html | |
| parent | 83e89cfe761a45ecfad0c78d22707190ea2befc5 (diff) | |
Default to isa-mode or isar-mode according to first one invoked.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions