Ignore some junk files · 5685c20862 - Flintfam Git Service

Ignore some junk files

Samuel W. Flint 9 years ago

parent

8b73e9fa6f

commit

5685c20862

1 changed files with 3 additions and 0 deletions

Split View Show Diff Stats

						
							+ 3
							
							- 0
						
.gitignore
							 
								View File
							
				@@ -12,3 +12,6 @@
			
				 auto/*
			
				 *~
			
				 \#*\#
			
				+*.lisp
			
				+*\[*\]
			
				+*.dvi