Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
Makefile.generating
Find file
Blame
History
Permalink
[config] change name of config.ml to avoid clash with compiler internal lib
· aedae7e6
Virgile Prevosto
authored
Mar 05, 2020
aedae7e6