Adam Rankin 83d633919a ExternalProject: Add option to set git clone -o argument
Add a `GIT_REMOTE_NAME` option to `ExternalProject_Add` to support

  git clone --origin <name>

Default to `origin` if not specified.
2016-01-15 14:20:04 -05:00
..
2015-02-23 10:26:30 -05:00
2015-10-05 10:16:03 -04:00