diff options
| author | Hugo Herbelin | 2016-11-05 12:02:43 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2016-11-05 12:27:11 +0100 |
| commit | d6a18782919367006ab1cee0a5577ed9b3028682 (patch) | |
| tree | e35362f80d41dcf88f17ce1f31f66a27118ddc02 /kernel/nativelambda.mli | |
| parent | ed2ec9362c0c0010b9caaaba4dcc771878ee2b7c (diff) | |
Not using style tags when translating/beautifying a file.
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions