aboutsummaryrefslogtreecommitdiff
path: root/engine
diff options
context:
space:
mode:
authorMatthieu Sozeau2016-11-03 16:25:06 +0100
committerMatthieu Sozeau2016-11-03 16:26:40 +0100
commita4cecc13cde3239d6a86f98ba6bba0e4554306bd (patch)
treee95d2b00932be0a4402c88e3eaf249e2acdda7bb /engine
parent919545d39c77a9168e70141e78d2c9589dad7c4e (diff)
Rework search_strategy option handling
Diffstat (limited to 'engine')
0 files changed, 0 insertions, 0 deletions