diff bin/by_interval.py @ 210:6faed9e5d9c9

use 2-digit suffixes, use more care in what we wait for in the outer loop
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Thu, 11 Jan 2024 16:43:16 +0000
parents bc66c6098e5e
children d2c4fec1ed21
line wrap: on
line diff