diff .bash_profile @ 72:fd9bcd759606

work with csing
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Tue, 08 Aug 2023 17:46:20 +0100
parents 12776abdbc2b
children
line wrap: on
line diff