diff options
| author | Antonio Nikishaev | 2020-04-29 00:51:29 +0400 |
|---|---|---|
| committer | Antonio Nikishaev | 2020-04-29 00:51:29 +0400 |
| commit | 6df2068c5f98fa0c4aa4fc67273ec9378a2ba0fc (patch) | |
| tree | 07cba04ff31736b644ede2c0133b6dabac97c25f /kernel/type_errors.mli | |
| parent | d15b99d93b67f37a0c572950868713b2a7a2b1a4 (diff) | |
CI: ext-lib is at coq-community now
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions