diff .bash_profile @ 105:9403c02d5034

switch to gzip -7 to get comparable compressed cdx block size
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Wed, 13 Sep 2023 16:48:43 +0100
parents 12776abdbc2b
children
line wrap: on
line diff