diff bin/extract.sh @ 62:346298ac3ab9

several efficiency (hofentlich) tweaks
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Fri, 24 Apr 2020 15:20:33 +0100
parents 1e479e3ea9c4
children
line wrap: on
line diff