diff options
| author | Arnstein Ressem <aressem@gmail.com> | 2019-03-31 21:28:55 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-31 21:28:55 +0200 |
| commit | b012478bd6aed5cf4d2f62854b6d800b8c020b0e (patch) | |
| tree | a8f33a993924277e4cd64ee83edf4842d9f772ff /dist/.tito/tito.props | |
| parent | 292ac5dd7395113897f660fd99e1268b58d1d69a (diff) | |
| parent | 04e9657cd28f4e4e385f998a3849247cacf67a74 (diff) | |
Merge pull request #8960 from vespa-engine/hakonhall/support-building-rpm-when-make-install-has-already-been-executed
Support building RPM when "make install" has already been executed
Diffstat (limited to 'dist/.tito/tito.props')
0 files changed, 0 insertions, 0 deletions