Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
headers
header_spec.txt
Find file
Blame
History
Permalink
Revert "[headers] cleaning header spec file"
· 9bb58f3b
Patrick Baudin
authored
Mar 06, 2020
This reverts commit
7dc7e69e
.
9bb58f3b