summaryrefslogtreecommitdiff
path: root/devel/tla
ModeNameSize
-rw-r--r--DESCR268logplain
-rw-r--r--Makefile1333logplain
-rw-r--r--PLIST1570logplain
-rw-r--r--distinfo225logplain
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-16 12:41:34 +0000