diff .bash_profile @ 116:5b952d16838c

a bit more logging
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Tue, 26 Sep 2023 18:55:11 +0100
parents 12776abdbc2b
children
line wrap: on
line diff