diff windows-dev/ninja_syntax.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 aa240af27589
children
line wrap: on
line diff