Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
tools
lint
lint.ml
Find file
Blame
History
Permalink
[lint] adds -s option for strict mode
· a25dd24d
Patrick Baudin
authored
Jan 11, 2023
and
Andre Maroneze
committed
Jan 12, 2023
a25dd24d