diff workers/bin/timedWhich.sh @ 37:93de42761f9c

parameterise name
author Henry S. Thompson <ht@markup.co.uk>
date Thu, 29 Nov 2018 13:51:43 +0000
parents 60d4042dab26
children c2b72d29a3ee
line wrap: on
line diff