summaryrefslogtreecommitdiff
path: root/devel/tla
ModeNameSize
-rw-r--r--DESCR268logplain
-rw-r--r--Makefile1333logplain
-rw-r--r--PLIST1570logplain
-rw-r--r--distinfo160logplain