diff master/bin/wrun.sh @ 43:c2b72d29a3ee

update to use _timedWhich.py
author Henry S. Thompson <ht@markup.co.uk>
date Fri, 30 Nov 2018 18:37:40 +0000
parents 9275e2a8b5e2
children
line wrap: on
line diff