# HG changeset patch
# User Jeff Hammel <k0scist@gmail.com>
# Date 1452987041 28800
# Node ID fb03f2527562da945cb87fa7e529f973fabb7ceb
# Parent  b8ac41eda8ee5bbf6197f269beb3feb7210becee
remove this; it shouldnt be necessary

diff -r b8ac41eda8ee -r fb03f2527562 .bash_profile
--- a/.bash_profile	Fri Jan 15 21:34:50 2016 -0800
+++ b/.bash_profile	Sat Jan 16 15:30:41 2016 -0800
@@ -1,5 +1,3 @@
 # This file is sourced by bash for login shells.  The following line
 # runs your .bashrc and is recommended by the bash info pages.
 [[ -f ~/.bashrc ]] && . ~/.bashrc
-
-[[ -s "$HOME/.rvm/scripts/rvm" ]] && source "$HOME/.rvm/scripts/rvm" # Load RVM into a shell session *as a function*