diff options
| author | Pierre Letouzey | 2016-07-14 00:54:31 +0200 |
|---|---|---|
| committer | Pierre Letouzey | 2016-07-26 16:32:49 +0200 |
| commit | 41ef1ae0ad4043f308a06365f4e5b1369eb5d453 (patch) | |
| tree | f66ac5ef8756df394ade1d4106de7c7a83b94290 /kernel/nativevalues.ml | |
| parent | dc1db99e019242c07f00837f8316a8d392c40258 (diff) | |
Makefile.build: minor simplification
Diffstat (limited to 'kernel/nativevalues.ml')
0 files changed, 0 insertions, 0 deletions