diff options
| author | Théo Zimmermann | 2020-04-20 11:36:13 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-04-20 11:36:13 +0200 |
| commit | c8fc5a6f9294c8ed6c1e26cc8ca8317014e63b07 (patch) | |
| tree | 7e28e889a8e394ce77d46d19f3612a8d0c301300 /kernel/subtyping.ml | |
| parent | 8ec726f82380dc882d1298406ed810844c82c0b2 (diff) | |
| parent | 131b25459b4dd4442bfb78cbb9786ebc7084d2d1 (diff) | |
Merge PR #12077: Update .mailmap
Reviewed-by: Zimmi48
Diffstat (limited to 'kernel/subtyping.ml')
0 files changed, 0 insertions, 0 deletions