Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
src
kernel_services
ast_queries
logic_utils.ml
Find file
Blame
History
Permalink
remove obsolete occurrences of Transitioning due to migration towards 4.08.1
· 22807efc
Andre Maroneze
authored
Jul 21, 2020
22807efc