diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-02 16:47:41 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-02 16:47:41 +0000 |
| commit | e6eaf6f564057a099f25d705c859e73fb24a8ecd (patch) | |
| tree | 57674e259c096389ec092e7595d1176a0cf46d58 /hol98 | |
| parent | e5e484f6a6c9bfb23881116e9c11f54183218eed (diff) | |
Overhaul and fixes for display management.
Diffstat (limited to 'hol98')
0 files changed, 0 insertions, 0 deletions