summaryrefslogtreecommitdiff
path: root/devel/frama-c
ModeNameSize
-rw-r--r--DESCR435logplain
-rw-r--r--Makefile657logplain
-rw-r--r--PLIST13479logplain
-rw-r--r--distinfo348logplain
d---------patches36logplain