comparison scripts/logutil.py @ 1:426cb9c33353

Don't enable auto-finding solutions by default, leave it opt-in.
author Ludovic Chabant <ludovic@chabant.com>
date Thu, 24 Oct 2019 11:12:24 -0700
parents 5d2c0db51914
children
comparison
equal deleted inserted replaced
0:5d2c0db51914 1:426cb9c33353