CVSROOT: /cvs Module name: ports Changes by: [email protected] 2019/11/10 07:38:23
Modified files:
devel/frama-c : Makefile
Log message:
remove BROKEN-i386 (which was present before frama-c was last updated) to
give it a chance in the next bulk.
