diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-03-23 13:26:48 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-23 13:26:48 +0000 |
| commit | 489ff23513f751b518251998d7fa0143dff51633 (patch) | |
| tree | ad39ad6357377309da4995decb13fb36acabdd02 /hol98 | |
| parent | c8d3f05fcccfcc919ca181382a91b6fa498cadea (diff) | |
Notes about using on Windows
Diffstat (limited to 'hol98')
0 files changed, 0 insertions, 0 deletions