Skip to content
Snippets Groups Projects
Normal view Permalink
dune 34 B
Newer Older
Patrick Baudin's avatar
[install] ./bin/frama-c-script  
Patrick Baudin committed
1 
(dirs src ptests tests share bin)