diff options
| author | David Aspinall | 1999-02-01 12:49:52 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-02-01 12:49:52 +0000 |
| commit | 65fe1811e9c7832f4b483cd90f07fcf04747671d (patch) | |
| tree | ded1cdd6ca9c79ad592424bb37890f0ad05c6407 /generic/proof-script.el | |
| parent | 7a0f9b6506a1c903c2d512fd8cd2d0fd1594d3bf (diff) | |
Test case for file recognition bug.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions