diff .bashrc @ 171:143d2c6d56da

cross-language confusion :-)
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Wed, 15 Nov 2023 09:36:23 +0000
parents 93d4915ef797
children 567ba6010658
line wrap: on
line diff