Feature/andre/remove frama c config See merge request frama-c/frama-c!2882
Attach a file by drag & drop or click to upload
Allan Blanchard authored