diff options
author | Geir Storli <geirst@verizonmedia.com> | 2019-06-05 15:55:19 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-05 15:55:19 +0200 |
commit | 3e1ef49b358ef027311d1d44d846695ea46125b8 (patch) | |
tree | f0cbe0fb9bf33337567a31b586da9b2874817aa6 /defaults | |
parent | 6f16980b48107a71bdbbb55479905f8ceca8d70b (diff) | |
parent | 01b178b59b160f6a7e55c3c4d8ba3e401c80364e (diff) |
Merge pull request #9693 from vespa-engine/toregge/add-missing-pragma-once-to-header-file
Header file should only be included once. Add pragma directive.
Diffstat (limited to 'defaults')
0 files changed, 0 insertions, 0 deletions