remote/bash_profile @ 6f0af1e0b0c9

Merge.

author	Steve Losh <steve@stevelosh.com>
date	Mon, 13 Jul 2020 11:52:11 -0400
parents	5ba3d8d1eef5
children	b038c1a8cdd8

../bash_profile