Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
share
Makefile.linting
Find file
Blame
History
Permalink
[lint] fix identification of files that have been subject to git mv
· 28708f62
Patrick Baudin
authored
Sep 15, 2022
28708f62