diff options
| author | David Aspinall | 1999-01-15 16:08:09 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-01-15 16:08:09 +0000 |
| commit | da39b3a8e98d4cd15d13c9831ca3a883f3e466e5 (patch) | |
| tree | 96e7e61735355d63bc98f08bedf5a4ef160b7850 /generic/proof-script.el | |
| parent | bffcc1489882830a8fca95ff778d08db397d1c49 (diff) | |
Test has backward slashes now, not forwards ones..
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions