Merge branch 'fix/configure' into 'stable/potassium'
[configure] fix issue with detection of gtksourceview for older OCaml install See merge request frama-c/frama-c!2288
Loading
Please register or sign in to comment
[configure] fix issue with detection of gtksourceview for older OCaml install See merge request frama-c/frama-c!2288