-
François Bobot authored
[ivette] Adds a status message in the bottom bar, and new menu items See merge request frama-c/frama-c!3355
d889daba
[ivette] Adds a status message in the bottom bar, and new menu items See merge request frama-c/frama-c!3355