aboutsummaryrefslogtreecommitdiff
path: root/runtime/queries/lean/locals.scm
diff options
context:
space:
mode:
authorGokul Soumya2022-07-19 15:58:14 +0000
committerBlaž Hrastnik2022-12-15 08:52:44 +0000
commitc64debc7412c0769db8186694bd89f85ea057b1b (patch)
tree9e0016e91c44bd14e32411ef162cd18c81f59c9c /runtime/queries/lean/locals.scm
parentdb939801ebf299f11a6a52bdff7a3c9bfb87fc34 (diff)
Add force_score() for scoring picker items without optimizations
Diffstat (limited to 'runtime/queries/lean/locals.scm')
0 files changed, 0 insertions, 0 deletions