fortunac opened this issue 4 years ago · 2 comments
We should run ocp-indent on all of WP to make sure the code's spacing is compliant.
ocp-indent
I can quickly run on ocp-indent -i on all .ml and .mli files.
ocp-indent -i
.ml
.mli
Doesn't seem to be a priority for now.