Skip to content
Snippets Groups Projects
user avatar
Virgile Prevosto authored
0231db99
History

This directory contains files which mainly perform side-effects at Frama-C initialization time.