Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
src
plugins
impact
register_gui.ml
Find file
Blame
History
Permalink
[impact] register_gui use dgraph_helper instead of direct call to Dgraph
· 2349f556
Virgile Prevosto
authored
Sep 16, 2019
Allows compiling it regardless of Dgraph availability
2349f556