diff options
| author | Jason Gross | 2018-01-16 18:12:55 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-02-08 17:15:20 +0100 |
| commit | 8ab30d25b5ffc6a56e9ca41f446504bba4a726ad (patch) | |
| tree | 8936bd55cb6f1b1cd181f6bdd023b898e43f3f32 /kernel/nativecode.mli | |
| parent | d31777adb88eb5ba54f68ac7a4cb7a2a29c1fc20 (diff) | |
Have the pre-commit hook also fix end-of-file nl
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions