remote/bash_profile @ 1fea5b4e8980

More

author	Steve Losh <steve@stevelosh.com>
date	Tue, 09 Aug 2022 12:10:25 -0400
parents	5ba3d8d1eef5
children	b038c1a8cdd8

../bash_profile