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