.bash_profile (f57a1fb) - dotfiles.git

f57a1fbde877b6e8025bad373a0ead36962c024b

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"`
first commit David Blume authored 8 years ago	`5) fi`