2 Commits (935d408faa5e16e84293f0ec56d3e287789bcc03)

Author SHA1 Message Date
Marc Wäckerlin 45b8566d87 use ./build-in-docker.sh on build server 9 years ago
Marc Wäckerlin ff42f801b7 updated build system 9 years ago