Skip to content
Snippets Groups Projects
Commit 0ba7de48 authored by Loïc Correnson's avatar Loïc Correnson
Browse files

pin ocp-indent version

parent 94cea462
No related branches found
No related tags found
No related merge requests found
......@@ -65,7 +65,7 @@ The detailed steps to submit a contribution to Frama-C are:
7. Check for unexpected changes.
Use the command `make check-lint`
in your terminal from the Frama-C root directory to detect trailing spaces,
tabulations or incorrect indentation (ocp-indent >= 1.8.1, camomile,
tabulations or incorrect indentation (ocp-indent = 1.8.1, camomile,
clang-format and black (Python linter) are needed), and `make lint` to fix
problems if any.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment