diff options
| author | David Aspinall | 2009-09-06 13:57:41 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-06 13:57:41 +0000 |
| commit | fe91bb443c5c0bf7c2d9800d599cff6e45d2197b (patch) | |
| tree | c7fe614485ec7e037bff247b63b4338c4879bb2c /generic/proof-script.el | |
| parent | f191f66776f6d0f43014e2d9a5b4933375bce903 (diff) | |
Bufhist erase when buffer writable.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions