summarylogtreecommitdiffstats
AgeCommit message (Expand)Author
2020-12-11Upstream applied bugfix of prohdeaiyion.prime
2020-12-10sra merged a bugfixaiyion.prime
2020-12-08upstream gives java 11 requirementaiyion.prime
2020-12-08workaround for gtk3 issueaiyion.prime
2020-12-08Minimax Simulatoraiyion.prime