diff options
| author | David Aspinall | 1999-10-06 17:06:41 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-06 17:06:41 +0000 |
| commit | 9e66d4299fcdac8ea7f2e929d4f10b9b31d9a2b4 (patch) | |
| tree | 3331f9d296cd1ddbdeff1cacdad0be1bcd40e5b0 /etc/coq | |
| parent | 4565e25ab7be545bee7f39b84bf8368d80e17c85 (diff) | |
after-change-functions only changed locally, only for script buffers.
Diffstat (limited to 'etc/coq')
0 files changed, 0 insertions, 0 deletions