comparison bin/plinksRedo.sh @ 37:ef3533d3ac4b

clean up after ourselves
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Thu, 02 Apr 2020 19:13:14 +0100
parents b976a7449d41
children
comparison
equal deleted inserted replaced
36:e912ed51146a 37:ef3533d3ac4b