diff .bash_profile @ 53:0dc144bd027c

made 1 mean 1, still losing after a while
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Fri, 07 Jul 2023 19:04:16 +0100
parents bb5f1ea6cc5e
children 12776abdbc2b
line wrap: on
line diff