diff options
author | 2018-11-28 10:54:43 -0800 | |
---|---|---|
committer | 2018-11-28 10:54:43 -0800 | |
commit | e0904c84162a2a078a47b7966305f84f817d6247 (patch) | |
tree | ae95f7228eb234a51ae74eca1089ab2ea66f7ed7 /include | |
parent | 500945dd1316fcebb6d2fc6ec22019988b8ce6d2 (diff) | |
parent | 513c172119ac41a3dc52738db5bf649195fa5c64 (diff) |
Merge pull request #2 from pokowaka/master
Explicitly set ctest command.
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions