diff options
| author | Henning Baldersheim <balder@yahoo-inc.com> | 2020-08-17 18:11:49 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-17 18:11:49 +0200 |
| commit | 5dc7ba73e714b47fe4a16eb59a5fb16ce4c6323c (patch) | |
| tree | 02a9c65c367db11e369179a2b62a2bef41169e82 /dist/.tito/tito.props | |
| parent | f18237c3dba523cb907fa873b1bc2ab8915de3d9 (diff) | |
| parent | 937bd7d494734f9fa5115c7e46bb3f99d574fb7b (diff) | |
Merge pull request #14072 from vespa-engine/balder/avoid-unnecessary-copy
There is no need to copy the document type as it has a longer lifetim…
Diffstat (limited to 'dist/.tito/tito.props')
0 files changed, 0 insertions, 0 deletions