diff options
| author | Hugo Herbelin | 2021-04-23 14:56:24 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2021-04-23 15:00:57 +0200 |
| commit | 7e0c8172703111a026477cf704f50af9468f8f0a (patch) | |
| tree | 0b0a7a6b00049ded0b91295e6de96682a1b20049 /kernel/type_errors.mli | |
| parent | c3d7754ec2045a964974698821adb73c586b4e41 (diff) | |
test-suite: add approve-coqdoc to update all coqdoc output files at once.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions