Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
share
analysis-scripts
examples
example-multi.mk
Find file
Blame
History
Permalink
[analysis-scripts] do not use reserved variable name FRAMAC_CONFIG
· 9ae39743
Andre Maroneze
authored
May 27, 2020
and
David Bühler
committed
Jun 02, 2020
9ae39743