diff options
| author | coqbot-app[bot] | 2020-11-15 18:23:36 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-15 18:23:36 +0000 |
| commit | 41523921f8838f09ba2365d2083b31143ba35517 (patch) | |
| tree | dd72ab02774f628ae4e70e6e73dafaf3b98f2fa8 /kernel/type_errors.ml | |
| parent | 5ec45d7206688da51ea325ab8692566e403808d8 (diff) | |
| parent | 061998b6db89480629ad41d33295a97f8ad84719 (diff) | |
Merge PR #13374: [dune] [opam] Generate opam files automatically using Dune.
Reviewed-by: Zimmi48
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions