Skip to content
GitLab
Explore
Sign in
frama-c
configure.in
Find file
Blame
Permalink
Jun 23, 2022
705d68f1
Removes lines related to the PLUGIN_LIST and EXTERNAL_PLUGINS
· 705d68f1
Patrick Baudin
authored
Jun 23, 2022
705d68f1
Removes lines related to the PLUGIN_LIST and EXTERNAL_PLUGINS
Patrick Baudin
authored
Jun 23, 2022
Loading
Patrick Baudin authoredPatrick Baudin authored