aboutsummaryrefslogtreecommitdiff
path: root/ChangeLog
diff options
context:
space:
mode:
authorDavid Aspinall2002-08-07 12:41:41 +0000
committerDavid Aspinall2002-08-07 12:41:41 +0000
commit04ce9cdb7a10379cc0eaeb83e080c462971a594d (patch)
treebbf80389c80a7987fe23bec869c0ee8132f550af /ChangeLog
parentadafcfa58dc41c7082b66556f9a01bc29b332586 (diff)
Rename proof-dont-switch-windows -> proof-three-window-mode
Diffstat (limited to 'ChangeLog')
0 files changed, 0 insertions, 0 deletions