diff options
author | Henning Baldersheim <balder@yahoo-inc.com> | 2020-08-17 14:41:09 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-17 14:41:09 +0200 |
commit | 29e75c142ecf63197e4ba157a55684bbccc6dcbe (patch) | |
tree | 116aae1b23ce8d22c6094e3711682522990a7d48 /default_build_settings.cmake | |
parent | 38b089f42b0157ac06a8c968553060218d6a61b6 (diff) | |
parent | 301fa9c0bc583f094fe098d351e8a282f0c8791a (diff) |
Merge pull request #14067 from vespa-engine/toregge/remove-unused-u32-inf
Remove unused u32_inf variable.
Diffstat (limited to 'default_build_settings.cmake')
0 files changed, 0 insertions, 0 deletions