summaryrefslogtreecommitdiff
path: root/lang/twelf
ModeNameSize
-rw-r--r--DESCR747logplain
-rw-r--r--MESSAGE480logplain
-rw-r--r--Makefile2250logplain
-rw-r--r--PLIST15900logplain
-rw-r--r--distinfo408logplain
d---------patches108logplain