Skip to content
GitLab
Explore
Sign in
frama-c
CONTRIBUTING.md
Find file
Blame
History
Permalink
[doc] prefer 'make default-tests' for external users
· af076fe4
Andre Maroneze
authored
Nov 27, 2023
af076fe4
After you've reviewed these contribution guidelines, you'll be all set to contribute to this project.