diff options
| author | Arnstein Ressem <aressem@verizonmedia.com> | 2019-08-28 09:41:13 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-28 09:41:13 +0200 |
| commit | f1991f6ef4901dc3d8099e779c5f629450d9c3ed (patch) | |
| tree | 1c768c67dfc1b00e2f8ab4fa8d71932d26d3e497 /dist/.tito/tito.props | |
| parent | bd65431ca39696ec242d63e4d378bae1a333e0c9 (diff) | |
| parent | 1a50010feff03e06090ec245089f0cb3eeb2912d (diff) | |
Merge pull request #10438 from vespa-engine/aressem/use-dummy-date-and-commit-if-git-not-available
Set dummy commit ref and date 0 when git is not available in tree. MERGEOK
Diffstat (limited to 'dist/.tito/tito.props')
0 files changed, 0 insertions, 0 deletions