diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-08-07 12:29:59 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-07 12:29:59 +0000 |
| commit | 201d2c34ad3c7a10f4d3a46f08035da6e0a4b925 (patch) | |
| tree | fd29e38b9d4329a4d20d2e64792833f28816d299 /bin | |
| parent | bd1f43fddbf943d5a80e4c58d5f789759910b077 (diff) | |
Default for proof-shell-strip-crs-from-output altered for Norbert Voelker to cygwin32.
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions