summaryrefslogtreecommitdiff
path: root/devel/tla
ModeNameSize
-rw-r--r--DESCR268logplain
-rw-r--r--Makefile1472logplain
-rw-r--r--PLIST1570logplain
-rw-r--r--distinfo233logplain