2 Commits (c708f6a321fd91ddeb00004bbd3af6e5cae79726)

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