diff docs/conf.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 f454889e41fa
children 77d4a3e7c9e2
line wrap: on
line diff