.bash_profile (626b9cb) - dotfiles.git

626b9cbf2e85e1aaa6e4430dc7a4bbf118e50e33

first commit David Blume authored 8 years ago	`1) # ~/.bash_profile: executed by bash for login shells. 2)`
Add a few c++ aliases, and... David Blume authored 8 years ago	`3) if [ -f "${HOME}/.bashrc" ]; then 4) source "${HOME}/.bashrc"`