diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-02 16:50:35 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-02 16:50:35 +0000 |
| commit | b33e3f1c7f799aa3e0f3c70e023fa6a50cb308ad (patch) | |
| tree | 761e4d3bce3e84ba286e488a63be1ed5fdef2f87 /hol98 | |
| parent | e6eaf6f564057a099f25d705c859e73fb24a8ecd (diff) | |
Turn on experimental features for 3.5. Adjust display settings.
Diffstat (limited to 'hol98')
0 files changed, 0 insertions, 0 deletions