diff .bash_extras @ 208:cbe631c26d53 default tip

both now working
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Thu, 11 Jun 2026 21:20:22 +0100
parents acae526510e2
children
line wrap: on
line diff