Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
Makefile.generating
Find file
Blame
History
Permalink
[kernel] compile script against appropriate lablgtk library when in GUI mode
· 132a1602
Virgile Prevosto
authored
Mar 17, 2020
132a1602