diff .bash_profile @ 69:0d2701901fed

for timing analysis
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Wed, 26 Jul 2023 18:42:19 +0100
parents bb5f1ea6cc5e
children 12776abdbc2b
line wrap: on
line diff