summaryrefslogtreecommitdiff
path: root/devel/menhir
ModeNameSize
-rw-r--r--DESCR206logplain
-rw-r--r--Makefile773logplain
-rw-r--r--PLIST1568logplain
-rw-r--r--distinfo315logplain
d---------patches42logplain