diff .bashrc @ 175:684370d1bf22

do the __main__ thing
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Fri, 24 Nov 2023 19:52:52 +0000
parents 93d4915ef797
children 567ba6010658
line wrap: on
line diff