diff options
| author | Théo Zimmermann | 2021-03-05 15:04:09 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2021-03-05 15:12:08 +0100 |
| commit | 4927211d7139730fdd8cfe1319b03c11c1659639 (patch) | |
| tree | ddf5d9afb341f54908728a4ab740c2fe2258a369 /kernel/nativecode.mli | |
| parent | afa4882102d627ce5be6821f591f3bf42fe74324 (diff) | |
Fix the .mailmap.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions