summaryrefslogtreecommitdiff
path: root/devel/frama-c
ModeNameSize
-rw-r--r--DESCR435logplain
-rw-r--r--Makefile542logplain
-rw-r--r--PLIST30156logplain
-rw-r--r--distinfo340logplain
-rw-r--r--options.mk346logplain
d---------patches43logplain