| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-03-26 | Updated to version 12 | Daniel Bermond | |
| 2018-12-12 | Move runtime environment contents to package jre | Daniel Bermond | |
| 2018-09-26 | Fix .desktop item names | Det | |
| 2018-09-26 | Fix build | Det | |
| 2018-03-25 | Cosmetics & future major-update automatizations | Det | |