Age | Commit message (Expand) | Author |
---|---|---|
2023-09-01 | distro-configs: Switch from JDK 11 to 17 | Michael Weghorn |
2021-05-18 | make --disable-odk the default | Noel Grandin |
2020-05-26 | jenkins linux configs: use jdk 11 for master | Christian Lohmaier |
2016-11-27 | screenshot config at the wrong place | Norbert Thiebaud |