diff .bashrc @ 148:ded66be0238c

for use in debugging, see notes and tests 2, 17, merge test
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Wed, 04 Oct 2023 18:51:56 +0100
parents 93d4915ef797
children 567ba6010658
line wrap: on
line diff