Merge branch 'master' of github.com:aarongut/dotfiles

2015-12-13 21:01:08 -05:00
parent b5d2d683e4 88a8c5790b
commit b2c052b8af
1 changed files with 1 additions and 0 deletions
--- a/.bashrc
+++ b/.bashrc
@@ -68,3 +68,4 @@ mesg n

 # OPAM configuration
 . /home/amgutier/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true
+eval `opam config env`