diff options
| author | David Aspinall | 1999-01-15 16:02:34 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-01-15 16:02:34 +0000 |
| commit | 5a1648a57cb083668f460a3bfb3d9774f7a4fa15 (patch) | |
| tree | fc5cae82556ecd0ed715925afeb1ab5a4e1723cb /generic/proof-script.el | |
| parent | 2fde13fa5dae15af652d1f1cb5579ea31514d8b9 (diff) | |
Test file for long lines with backslashes.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions