| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |