diff options
author | 2002-08-07 12:32:36 +0000 | |
---|---|---|
committer | 2002-08-07 12:32:36 +0000 | |
commit | eab8747b9387ae79dfdb2b9f3af84e3a295944e2 (patch) | |
tree | 641006012709d35973e69b0db5e27d212f751d8d /doc | |
parent | 8d4c6c65c0f84d84aabf426dd879076103849de0 (diff) |
Rename proof-dont-switch-windows -> proof-three-window-mode
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions