diff options
| author | Rechi <Rechi@users.noreply.github.com> | 2017-01-22 23:35:37 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-01-22 23:35:37 +0100 |
| commit | f1d5b1b975475646e655a6498b3815ca1aabb6ec (patch) | |
| tree | 7e9510c11dd20dcc1a156c25d63dfd624f898f2c /tools | |
| parent | 5b7c3e8b0262b82905c8695e39fc8b7ec12320d6 (diff) | |
| parent | 349f8f9300868a45908c0845c9ecb672c2743d90 (diff) | |
Merge pull request #11511 from Rechi/fixCmakeGitRev
[cmake] git update-index --refresh must be called before using it
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions