diff workers/bin/_timedWhich.sh @ 44:1342f6669352

knock off a few more relatively common cases
author Henry S. Thompson <ht@markup.co.uk>
date Sat, 01 Dec 2018 12:13:34 +0000
parents d4f186655bcc
children
line wrap: on
line diff