Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
LustreC
Frama-C
Repository
frama-c
CONTRIBUTING.md
Find file
Blame
History
Permalink
Uses ocp-indent 1.8.1 for indentation (instead of 1.7.0).
· 9e7a96ac
David Bühler
authored
Mar 25, 2022
9e7a96ac
After you've reviewed these contribution guidelines, you'll be all set to contribute to this project.
