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

I have the .gitignore file now in all my local repos, as well as GitHub. So, in theory, the next time a PDF file is created via LaTeX, it should be ignored. Right?

On Feb 21, 2012, at 3:43 PM, Jason Grout wrote:

> 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`
>
> ---
> Reply to this email directly or view it on GitHub:
> https://github.com/dcernst/IBL-IntroToProof/commit/3dbcc2380f35c4db6c5f5035358258bd6b762e2a#commitcomment-993189