Merge branch 'feature/david/gtk3-update' into 'master'
Makes frama-c compile with the lablgtk3 beta4 package See merge request frama-c/frama-c!2153
Loading
Please register or sign in to comment
Makes frama-c compile with the lablgtk3 beta4 package See merge request frama-c/frama-c!2153