diff options
author | Henning Baldersheim <balder@yahoo-inc.com> | 2020-10-07 23:29:10 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-07 23:29:10 +0200 |
commit | 4291a9ec03e9b5b7c23473725678b3c0785cbf91 (patch) | |
tree | 948ffbf4eac5cdb9692bc4b33105bec37a3a9a7e /build_settings.cmake | |
parent | 379b3d8c3ce128da5a985ed73fce99326369512c (diff) | |
parent | b0fa07975af2ed8812544950f5785a48f0b41dfd (diff) |
Merge pull request #14767 from vespa-engine/balder/use-std_mutex
- GC unused code.
Diffstat (limited to 'build_settings.cmake')
0 files changed, 0 insertions, 0 deletions