Fri, 07 Apr 2017 10:47:25 +0200 | wenzelm | explicit Sessions.Selection; | file | diff | annotate |
Thu, 06 Apr 2017 22:04:30 +0200 | wenzelm | clarified signature: tree structure is not essential; | file | diff | annotate |
Wed, 06 Jul 2016 13:45:52 +0200 | Lars Hupel | simplify build scripts | file | diff | annotate |
Mon, 04 Jul 2016 18:20:51 +0200 | Lars Hupel | tuned | file | diff | annotate |
Wed, 22 Jun 2016 16:47:55 +0200 | Lars Hupel | adjust job/thread count for new hardware | file | diff | annotate |
Sat, 11 Jun 2016 17:23:24 +0200 | Lars Hupel | start moving actual Jenkins build scripts into the repository | file | diff | annotate |