summarylogtreecommitdiffstats
path: root/tla+toolbox.xml
AgeCommit message (Expand)Author
2022-10-29update to 1.8, fix GDK_SCALE issue, add mine typeRuize Tang