Add .pgs files to .gitignore · f21605711e - Flintfam Git Service

Parcourir la source

Add .pgs files to .gitignore

Carsten Dominik il y a 16 ans

Parent

6664cc4495

commit

f21605711e

1 fichiers modifiés avec 1 ajouts et 0 suppressions

Vue séparée Afficher les stats Diff

						
							+ 1
							
							- 0
						
.gitignore
							 
								Voir le fichier
							
				@@ -18,6 +18,7 @@
			
				 *.log
			
				 *.pdf
			
				 *.pg
			
				+*.pgs
			
				 *.toc
			
				 *.tp
			
				 *.vr