diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-08-07 12:32:36 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-07 12:32:36 +0000 |
| commit | eab8747b9387ae79dfdb2b9f3af84e3a295944e2 (patch) | |
| tree | 641006012709d35973e69b0db5e27d212f751d8d /lego | |
| parent | 8d4c6c65c0f84d84aabf426dd879076103849de0 (diff) | |
Rename proof-dont-switch-windows -> proof-three-window-mode
Diffstat (limited to 'lego')
0 files changed, 0 insertions, 0 deletions