diff options
| author | Pierre Letouzey | 2016-06-21 19:34:51 +0200 |
|---|---|---|
| committer | Pierre Letouzey | 2016-06-21 20:35:36 +0200 |
| commit | 39861a12445742b481496baf2caafeb391773aba (patch) | |
| tree | 8e38399836572cf13947d28c4ebd6eb4e2ca4240 /kernel/nativelambda.ml | |
| parent | a1a86e6572bbae9e515cc72d7072322e5a11b49e (diff) | |
Makefile: compat5* moved in grammar/, less -I given to camlp4o
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions