Skip to content
Snippets Groups Projects
user avatar
Andre Maroneze authored
[install] Changes dev tools management

Closes #1194 and #1196

See merge request frama-c/frama-c!4027
bb56c6d6
History
Name Last commit Last update