diff master/bin/makeWorker.sh @ 48:3b951980206d

using ptimedWhich.sh, _timedWhich.py
author Henry S. Thompson <ht@markup.co.uk>
date Mon, 10 Dec 2018 14:51:52 +0000
parents c1c8275bd194
children c49b169339b1
line wrap: on
line diff