summaryrefslogtreecommitdiff
path: root/devel/frama-c
ModeNameSize
-rw-r--r--DESCR435logplain
-rw-r--r--Makefile664logplain
-rw-r--r--PLIST13220logplain
-rw-r--r--PLIST.gnomecanvas325logplain
-rw-r--r--distinfo401logplain
-rw-r--r--options.mk439logplain
d---------patches72logplain