diff options
| author | Guillaume Melquiond | 2015-03-06 16:03:09 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2015-03-06 16:03:09 +0100 |
| commit | c1587dfec7ecbd48e2404d8c4744eacfce08a943 (patch) | |
| tree | 7397f94c8acb48d38dfd0cb8b831348292771ac4 /kernel/nativecode.ml | |
| parent | af41885b0e13fff713fef71f9a653e39add9b2f6 (diff) | |
Fix syntax highlighting of Require.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions