diff options
| author | David Aspinall | 2002-06-12 09:51:47 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-06-12 09:51:47 +0000 |
| commit | 7770e98ef03aba740fdf7d459aac51ce7f0f5993 (patch) | |
| tree | 895ca7d52d5c4473b94041983663ea78631960b7 /generic | |
| parent | c004443d9cc9d146b3968295297107bced9c9a8e (diff) | |
Add proof-nested-undo-regexp setting
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions