Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
Changelog
Find file
Blame
History
Permalink
[project] get rid of since-10-years-deprecated State_selection.Static
· ad6c20ad
Virgile Prevosto
authored
Feb 24, 2022
and
Julien Signoles
committed
Feb 24, 2022
ad6c20ad
To find the state of this project's repository at the time of any of these versions, check out
the tags
.