Skip to content
Snippets Groups Projects
Select Git revision
0 results
Compare
user avatar
Merge branch 'fix/doc/default-machdep' into 'master'
Andre Maroneze authored 
[doc] User manual: updates the default machdep.

See merge request frama-c/frama-c!3563
1eb60bb1
History
user avatar 1eb60bb1
History
Name Last commit Last update