diff .bashrc @ 384:7245d684b0b5 plus

output format now more congenial for subsequent merging
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Fri, 12 Jun 2026 16:14:55 +0100
parents e44d214699be
children
line wrap: on
line diff