diff .bash_profile @ 108:9f7a35bf07f9

one more sid fix, match java unicode escaping in path
author Henry Thompson <ht@markup.co.uk>
date Tue, 19 Sep 2023 19:28:34 +0100
parents 12776abdbc2b
children
line wrap: on
line diff