diff options
| author | David Aspinall | 2009-09-06 13:56:05 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-06 13:56:05 +0000 |
| commit | f191f66776f6d0f43014e2d9a5b4933375bce903 (patch) | |
| tree | 0bd3ee0ac53c5a89be58e5aca6da35dc2398e15c /generic/proof-script.el | |
| parent | 59e9bc9d01fa12f6e251f5a0bbf5ce1228466ccc (diff) | |
Remove comment
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions