summaryrefslogtreecommitdiff
path: root/devel/tla
ModeNameSize
-rw-r--r--DESCR268logplain
-rw-r--r--Makefile1576logplain
-rw-r--r--PLIST2760logplain
-rw-r--r--distinfo232logplain