CVS: cvs.openbsd.org: ports

CVSROOT:        /cvs
Module name:    ports
Changes by:     [email protected]   2019/11/13 10:41:22


Modified files:
        devel/frama-c  : Makefile 

Log message:
put BROKEN-i386 back

Reply via email to