diff configmix/config.py @ 624:429a7d5002b8

With Valgrind: 100000 is way too much: use 10000
author Franz Glasner <fzglas.hg@dom66.de>
date Thu, 13 Jan 2022 21:43:02 +0100
parents 764d4185c76a
children 4499e9b4855d
line wrap: on
line diff