remote/bash_profile @ d7650a70ef26

Merge

author	Steve Losh <steve@stevelosh.com>
date	Tue, 01 Feb 2022 10:52:56 -0500
parents	5ba3d8d1eef5
children	b038c1a8cdd8

../bash_profile