diff options
| author | pes20 | 2019-08-20 09:53:43 +0100 |
|---|---|---|
| committer | pes20 | 2019-08-20 09:53:43 +0100 |
| commit | 9942726dfab4d7b32d910b8365e40d8178331084 (patch) | |
| tree | bbc0c74b920dcf9df65d4274d583215d46856507 /src/process_file.mli | |
| parent | e415240e8811e12057b06155aa38b2bb39503352 (diff) | |
add -coq_alt_modules option to override the default imported modules
Diffstat (limited to 'src/process_file.mli')
0 files changed, 0 insertions, 0 deletions