diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2013-12-29 11:12:49 -0500 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2013-12-29 11:12:49 -0500 |
commit | f2087508a325bd4dae8be54ea3c6111f6b652775 (patch) | |
tree | c1878e087daf15e96594be0e78d15182f2ca5d08 /kernel/nativelambda.ml | |
parent | 381b2c6e77cd204aa143192a5a65e8832ae0633b (diff) |
Avoid generating .ml files in native compiler.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions