diff options
| author | Théo Zimmermann | 2019-03-29 16:45:04 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-03-29 16:45:04 +0100 |
| commit | b2e214ba95587176b904307039f354bec00ed8c1 (patch) | |
| tree | e02f8a6aebeee0982ce06ba4ef23be8f375ed0f9 /kernel/type_errors.mli | |
| parent | 6c6948ad61447d1a019d94b5ffed21e0e36e3d75 (diff) | |
| parent | 5408978c2ed5ffb4da885f742cd808bc0b518021 (diff) | |
Merge PR #9860: [dune] Fix shim quoting and add coqc wrapper.
Reviewed-by: Zimmi48
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions