Age | Commit message (Collapse) | Author | |
---|---|---|---|
2022-10-29 | update to 1.8, fix GDK_SCALE issue, add mine type | Ruize Tang | |
GDK_SCALE rendering problem: tlaplus/tlaplus#694 | |||
2017-06-04 | gitignore: Add | Genki Sky | |
AUR : tla-toolbox-nightly.git | |
AUR Package Repositories | click here to return to the package base details page |
summarylogtreecommitdiffstats |
Age | Commit message (Collapse) | Author | |
---|---|---|---|
2022-10-29 | update to 1.8, fix GDK_SCALE issue, add mine type | Ruize Tang | |
GDK_SCALE rendering problem: tlaplus/tlaplus#694 | |||
2017-06-04 | gitignore: Add | Genki Sky | |