diff options
| author | Guillaume Melquiond | 2014-06-26 16:40:43 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2014-06-26 16:40:43 +0200 |
| commit | f27134ab2cf4fa1ddc1dd19b2b961e3c3ed040ff (patch) | |
| tree | 2cf3f359e70fab5c54bfa5ff68bfd7278d005a8b /kernel/type_errors.mli | |
| parent | 35c834548dcbd590f66f009017d2f88797dce882 (diff) | |
Fix documentation.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions