CVSROOT: /cvs Module name: ports Changes by: [email protected] 2014/04/21 16:15:33
Modified files:
devel/frama-c : Makefile
Log message:
Prevent the use of lablgtk2 since the latter now supports gnomecanvas.
Temporary until frama-c gui support is added.
