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