remote/bash_profile @ 4139b0e71e08

More

author	Steve Losh <steve@stevelosh.com>
date	Sat, 12 Dec 2020 18:41:09 -0500
parents	5ba3d8d1eef5
children	b038c1a8cdd8

../bash_profile