| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-09-16 | Updated to version 15 | Daniel Bermond |
| 2020-03-19 | Updated to version 14 | Daniel Bermond |
| 2019-09-18 | Updated to version 13 | Daniel Bermond |
| 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 |