chiark / gitweb /
Merge pull request #103 from jschueller/cmake-make-ctest