diff options
author | Harald Musum <musum@verizonmedia.com> | 2019-11-13 16:39:14 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-11-13 16:39:14 +0100 |
commit | b6e48bd32a548dd3cc1847344e6451882afebb91 (patch) | |
tree | e1f399be8b2bbe2c221f966e30e04662a6d77478 /dist/.tito/tito.props | |
parent | 395e0795cc9abd1a5e9f3b5fc4d2960164dd1bcf (diff) | |
parent | 491924433dd80b8a57c47f42c5a1f5725ec4b454 (diff) |
Merge pull request #11289 from vespa-engine/gjoranv/fail-upon-reserved-array-name
Fail if reserved words are used for array names.
Diffstat (limited to 'dist/.tito/tito.props')
0 files changed, 0 insertions, 0 deletions