dcernst/IBL-IntroToProof — comment on commit 3dbcc2380f35c4db6c5f5035358258bd6b762e2a
File:  line 0
By jasongrout:

I'm not sure how SourceTree works. You can check to see if you have a .gitignore file on your local computer, though. If not, can you "pull" changes from github? On the command line, you'd just do `git pull`