2 Commits (a5fdbbb592badd1c1eb89b7d41a5767e36696bb7)

Author SHA1 Message Date
Marc Wäckerlin f1d70efbab update buildsystem 8 years ago
Marc Wäckerlin 45b8566d87 use ./build-in-docker.sh on build server 9 years ago