diff options
author | jonmv <venstad@gmail.com> | 2022-10-02 21:23:24 +0200 |
---|---|---|
committer | jonmv <venstad@gmail.com> | 2022-10-02 21:23:24 +0200 |
commit | b3d3dd71e6f576de36a3e5c18f1fcd6ce6933f17 (patch) | |
tree | aba845c04b8b5f5ea35a2238012bd9b53ee740c7 /document/.gitignore | |
parent | 998293e64119cc1b17a2dd2d52eb5dad67a49670 (diff) |
Revert "Merge pull request #24257 from vespa-engine/bratseth/boolean-optimize-primitives-only"
This reverts commit 4a1ca594e4cf3810974696ce970f5a161ec099eb, reversing
changes made to 62928f4d8b7571c4b10fedffc56b762f57b6b2ca.
Diffstat (limited to 'document/.gitignore')
0 files changed, 0 insertions, 0 deletions