diff options
author | 2000-09-12 16:14:26 +0000 | |
---|---|---|
committer | 2000-09-12 16:14:26 +0000 | |
commit | a623f774917f6adc6eba47ad9c8c9d81b616bdad (patch) | |
tree | b460c397300a75104cbaf483d447792c01edb929 /images | |
parent | 849787301bc064c4ed3a2f0a35afeeb519c61461 (diff) |
Add sanity check on important settings for proof shell (underway)
Diffstat (limited to 'images')
0 files changed, 0 insertions, 0 deletions