Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
Makefile
Find file
Blame
History
Permalink
Merge branch 'feature/andre/remove-frama-c-config' into 'master'
· 8b8c483f
Allan Blanchard
authored
Nov 24, 2020
Feature/andre/remove frama c config See merge request frama-c/frama-c!2882
8b8c483f