| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | ExternalProject: Remote checkout needs to include the remote name | Craig Scott | 2020-05-29 | 1 | -53/+64 |
| * | ExternalProject: Provide choice of git update strategies | Craig Scott | 2020-05-23 | 1 | -9/+49 |
| * | ExternalProject: factor out gitupdate step to separate file | Craig Scott | 2020-05-23 | 1 | -0/+165 |
