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

It looks like this gets added because of this commit: e76c078326e920a80e1bbc6264e7e00d1c942d49, which added a pdf file. Did you pull the changes back down to your repository with `git pull` to get the `.gitignore` file on your local computer?