diff options
| author | David Aspinall | 2008-01-29 00:01:04 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-29 00:01:04 +0000 |
| commit | acf934287733846216e54c976d2b41a3bee85b2c (patch) | |
| tree | 33d54e4ca486bb0579b36f54096725bf58afa1e7 /lib | |
| parent | 5a0a065bd26b2338bb78afdc4e160bef7752f839 (diff) | |
Disable undo in read-only region; add proof-allow-undo-in-read-only setting
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions
