diff options
| author | Théo Zimmermann | 2019-03-13 10:38:03 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-03-13 10:38:03 +0100 |
| commit | 915192abdf1bdb3129fd28f05cee6340d5a8c464 (patch) | |
| tree | b526c4305b1ec13f8e69075a5ae46ba0293b2596 /kernel/type_errors.mli | |
| parent | e341c36cdc2aa2220152b2a3745bf3255316cdf3 (diff) | |
| parent | 430851db6db8ba30280f024ccbca5f6124287ab7 (diff) | |
Merge PR #9748: [dune] Add shim for coqtop.byte
Reviewed-by: Zimmi48
Reviewed-by: gares
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions