Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
opam
opam
Find file
Blame
History
Permalink
Merge branch 'feature/andre/opam-do-not-disable-gui' into 'master'
· fd63f8a7
François Bobot
authored
Oct 15, 2020
[opam] do not force disable GUI See merge request frama-c/frama-c!2732
fd63f8a7