diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-07-12 12:49:01 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-07-12 12:49:01 +0000 |
| commit | dbc0f6378eed4eed1405f4527e1610a0806344ef (patch) | |
| tree | 0c4adf462441d89e73c2b31332e62687b137274b /isar/README | |
| parent | b810678b73308e26141009dab70b2f3e53e3cb63 (diff) | |
Minor updates
Diffstat (limited to 'isar/README')
0 files changed, 0 insertions, 0 deletions