summarylogtreecommitdiffstats
 
AgeCommit messageAuthor
2024-03-07fix mime type assoc and remove forced AA java optionsfalkecarlsen
2024-03-05initfalkecarlsen
 
Clone
https://aur.archlinux.org/uppaal-beta.git/