diff options
author | Arne Juul <arnej@yahooinc.com> | 2023-09-18 14:46:10 +0000 |
---|---|---|
committer | Arne Juul <arnej@yahooinc.com> | 2023-09-18 14:46:10 +0000 |
commit | 7097b3d47b63c1bb5b2b8354d8f1d326514d80dc (patch) | |
tree | 968c099f0fb540e3b0c5c0da674b4f24884d1ae7 /configdefinitions/src | |
parent | eede788d1c20d2f246f44287308dad69487369ea (diff) |
if something is already a match-feature, avoid computing it again in global-phase
Diffstat (limited to 'configdefinitions/src')
0 files changed, 0 insertions, 0 deletions