From 20f46d704513f54f00fc0757ca04c8632e60daba Mon Sep 17 00:00:00 2001 From: akubena Date: Wed, 27 Jul 2016 15:08:40 -0400 Subject: [PATCH] Possible update to .gitignore In case it is useful -- not sure all of this is needed in this directory, but I have added the list of extensions from the 2016 workshop google doc --- .gitignore | 36 ++++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) diff --git a/.gitignore b/.gitignore index 50a0c39..c96bad7 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,38 @@ *~ node_modules/ + +*.4ct +*.4tc +*.aux +*.auxlock +*.bbl +*.blg +*.brf +*.dpth +*.dvi +*.eps +*.gz +*.html +*.idv +*.idx +*.ilg +*.ind +*.jax +*.jpg +*.lg +*.log +*.md5 +*.nb +*.oc +*.out +*.pdf +*.png +*.ps +*.sage-chat +*.svg +*.synctex.gz +*.tmp +*.toc +*.xref + +