diff options
| author | coqbot-app[bot] | 2021-02-22 09:30:09 +0000 |
|---|---|---|
| committer | GitHub | 2021-02-22 09:30:09 +0000 |
| commit | d3f9ebde0d6a7a7978d67a84a72f7ba7db9a6a16 (patch) | |
| tree | 66d2cf62680a4e0cc33935677e8e3747d15a42b6 /kernel/type_errors.mli | |
| parent | d65aeab7a4a8f6348011c43bf19a8d839a580695 (diff) | |
| parent | 6c6f682f7fc977a57b69ffdfff7e7860094b7fcd (diff) | |
Merge PR #13870: Add option --version to Coqide (fix #13752).
Reviewed-by: gares
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions