diff options
author | Martin Polden <mpolden@mpolden.no> | 2022-07-11 14:29:16 +0200 |
---|---|---|
committer | Martin Polden <mpolden@mpolden.no> | 2022-08-10 11:11:36 +0200 |
commit | 182091b999279c466334eafa2e010ef69f8235be (patch) | |
tree | 6a82500d902ae6765e598824f6fd761772d43fef /predicate-search | |
parent | 065fe58b7b15ae33a5b8736250fd29a84650893f (diff) |
Support estimating next change
Diffstat (limited to 'predicate-search')
0 files changed, 0 insertions, 0 deletions