remote/bash_profile @ 955d032c46cc

More cleanup

author	Steve Losh <steve@stevelosh.com>
date	Fri, 18 Mar 2022 15:20:26 -0400
parents	5ba3d8d1eef5
children	b038c1a8cdd8

../bash_profile