diff options
| author | pes20 | 2019-08-20 09:49:39 +0100 |
|---|---|---|
| committer | pes20 | 2019-08-20 09:49:39 +0100 |
| commit | e415240e8811e12057b06155aa38b2bb39503352 (patch) | |
| tree | cc83ca4c22c5eafb338be32cb8f5cfaebb711316 /lib | |
| parent | 9a8746adb6c580880e3b94c2bcf6eaa4c99247a7 (diff) | |
add -coq_alt_modules option to override the default imported modules
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions