Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
src
plugins
gui
file_manager.ml
Find file
Blame
History
Permalink
[gui] Use actual path of files and not their prettified versions.
· 93b31968
Michele Alberti
authored
Jan 06, 2020
93b31968