diff configmix/json.py @ 514:d803321d927b

Move convenient output from the performance script and command line arguments to select all or some performance numbers
author Franz Glasner <fzglas.hg@dom66.de>
date Sun, 19 Dec 2021 14:05:14 +0100
parents eed16a1ec8f3
children f454889e41fa
line wrap: on
line diff