diff options
| author | Hugo Herbelin | 2019-11-21 15:40:28 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2019-12-06 17:31:39 +0100 |
| commit | e20f967043f140d57a8fbf80eb31f5a37f2de502 (patch) | |
| tree | 3d197646f9cf270f2160cccbdf88d50aa165d7e7 /kernel/type_errors.mli | |
| parent | 490704f4b2db98f4ef15f5e380b63e49e13a418b (diff) | |
Adding overlay for Quickchick PR#145.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions