AgeCommit messageAuthor
2021-03-21Update for 0.6.12Petr Mrázek
2020-03-29And one more, for 0.6.12Petr Mrázek
2020-03-29Push 0.6.11Petr Mrázek
2020-02-09Bump version number to wake updaters upPetr Mrázek
2019-08-05Fix .SRCINFOPetr Mrázek
2019-08-05Update for 0.6.7Petr Mrázek
2019-07-11Require and use a specific version of the jdk for building. Bump version.Petr Mrázek
2019-06-15Update git revisionPetr Mrázek
2019-06-01Bump the versionPetr Mrázek
2019-04-08Update versionPetr Mrázek