diff options
| author | David Aspinall | 1998-12-07 17:29:00 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-07 17:29:00 +0000 |
| commit | 3bd5aa94de7f70921ddb570c8ee3281e7d740f78 (patch) | |
| tree | 5bf2a4d78b3309217574e939f091beca0116d446 /lego | |
| parent | 4989a863c3cf0593674a183e09ed11dff6aa38a5 (diff) | |
Added proof-shell-preprocess-command for Paul Callaghan.
Diffstat (limited to 'lego')
0 files changed, 0 insertions, 0 deletions