diff options
| author |  Jeff McGlynn <jeff@jeffmcglynn.com> | 2018-11-28 10:54:43 -0800 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2018-11-28 10:54:43 -0800 |
| commit | e0904c84162a2a078a47b7966305f84f817d6247 (patch) | |
| tree | ae95f7228eb234a51ae74eca1089ab2ea66f7ed7 /third_party | |
| parent | 500945dd1316fcebb6d2fc6ec22019988b8ce6d2 (diff) | |
| parent | 513c172119ac41a3dc52738db5bf649195fa5c64 (diff) | |
Merge pull request #2 from pokowaka/master
Explicitly set ctest command.
Diffstat (limited to 'third_party')
0 files changed, 0 insertions, 0 deletions