log .bash_profile @ 923:b25fbb9257ec default tip

age author description
Sat, 16 Jan 2016 15:30:41 -0800 Jeff Hammel remove this; it shouldnt be necessary