remote/bash_profile @ a5781ceaf296

Merge.

author	Steve Losh <steve@stevelosh.com>
date	Tue, 17 Mar 2020 11:28:35 -0700
parents	5ba3d8d1eef5
children	b038c1a8cdd8

../bash_profile