diff options
| author | Pierre-Marie Pédrot | 2020-07-10 23:29:05 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-07-17 15:16:12 +0200 |
| commit | f41fccaaf30ea4f76edb8204fa5f4022467b6e0c (patch) | |
| tree | 630d6102b775dbde3e5d353626b5b988264ed9cf /kernel/nativelambda.mli | |
| parent | de89e569c1816e9b2ea5b0ad30b03d18bd71fd64 (diff) | |
Remove automatic formatting of ComHints.
This is about the third time I try to kill this file but for some reason
it is still here.
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions