Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
Makefile
Find file
Blame
History
Permalink
[makefile] Removes useless variable NO_MLI.
· 73221e7f
David Bühler
authored
Sep 01, 2021
73221e7f