Skip to content
Snippets Groups Projects
Commit f64191c2 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[lint] turns out [fc_]config.mli could have linted since some time

parent e3955b56
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 0 additions and 1 deletion
.Makefile.lint
+ 0
− 1
View file @ f64191c2
...@@ -5,7 +5,6 @@ ML_LINT_KO+=src/kernel_internals/parsing/errorloc.mli ...@@ -5,7 +5,6 @@ ML_LINT_KO+=src/kernel_internals/parsing/errorloc.mli
ML_LINT_KO+=src/kernel_internals/parsing/lexerhack.ml ML_LINT_KO+=src/kernel_internals/parsing/lexerhack.ml
ML_LINT_KO+=src/kernel_internals/parsing/logic_preprocess.mli ML_LINT_KO+=src/kernel_internals/parsing/logic_preprocess.mli
ML_LINT_KO+=src/kernel_internals/runtime/boot.ml ML_LINT_KO+=src/kernel_internals/runtime/boot.ml
ML_LINT_KO+=src/kernel_internals/runtime/config.mli
ML_LINT_KO+=src/kernel_internals/runtime/machdeps.ml ML_LINT_KO+=src/kernel_internals/runtime/machdeps.ml
ML_LINT_KO+=src/kernel_internals/runtime/messages.ml ML_LINT_KO+=src/kernel_internals/runtime/messages.ml
ML_LINT_KO+=src/kernel_internals/runtime/messages.mli ML_LINT_KO+=src/kernel_internals/runtime/messages.mli
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment