tree 68c1baa0b256823f9498ee968d472cb011ffa7b5
parent a9be010d532edc31e30e661d25b587c3e571071d
author Sapan Bhatia <sapanb@cs.princeton.edu> 1421446276 +0000
committer Sapan Bhatia <sapanb@cs.princeton.edu> 1421446276 +0000

Changed shell to /bin/bash, because dash (the default shell) on beta doesn't support source