Added some stuff to the gitignore · 20eda9227f - Flintfam Git Service

Added some stuff to the gitignore

Samuel W. Flint 8 years ago

parent

5154103715

commit

20eda9227f

1 changed files with 4 additions and 0 deletions

Split View Show Diff Stats

						
							+ 4
							
							- 0
						
.gitignore
							 
								View File
							
				@@ -8,3 +8,7 @@
			
				 auto/*
			
				 *~
			
				 \#*\#
			
				+*.bbl
			
				+*.lol
			
				+*.pdf
			
				+*.tex