diff options
| author | Jason Gross | 2016-06-18 16:38:41 -0400 |
|---|---|---|
| committer | Maxime Dénès | 2016-07-06 10:48:04 +0200 |
| commit | f106e198e6adc20bc5eebbd69bb2bc2a171b82c7 (patch) | |
| tree | a8c22837b153a343dbc4cb763b079bab585b07da /kernel/type_errors.ml | |
| parent | 32ed349b992710da136a443c8e0778a6346aa9a7 (diff) | |
Deduplicate some names in .mailmap
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions