summaryrefslogtreecommitdiff
path: root/devel/frama-c
ModeNameSize
-rw-r--r--DESCR435logplain
-rw-r--r--Makefile761logplain
-rw-r--r--PLIST39496logplain
-rw-r--r--distinfo1191logplain
-rw-r--r--options.mk491logplain
d---------patches522logplain