Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
src
kernel_internals
runtime
fc_config.mli
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