Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
Makefile
Find file
Blame
History
Permalink
[lint] filter externally-specified list of ml files to lint
· c53791f0
Virgile Prevosto
authored
Oct 16, 2020
Allows the pre-commit hook to succeed if a ml file disappears
c53791f0