remote/bash_profile @ 03403e2b1a36

Merge

author	Steve Losh <steve@stevelosh.com>
date	Sat, 30 Jul 2022 11:23:28 -0400
parents	5ba3d8d1eef5
children	b038c1a8cdd8

../bash_profile