diff options
| author | Emilio Jesus Gallego Arias | 2019-04-10 15:36:09 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-04-10 15:36:09 +0200 |
| commit | e0c492102b5a625f2122faa9912f4d19b950cd22 (patch) | |
| tree | 90dcfcb8d09de2d723da0cf83504419079dc9066 /kernel/nativelambda.ml | |
| parent | dcf6560f00fde4a2564ba8489cdd34e7bdea5cfa (diff) | |
[mailmap] Tweak Emilio's entries.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions