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