Parcourir la source

Merge pull request #1 from mgirouard/patch-1

Add /doc/tags to a .gitignore
jlanzarotta il y a 12 ans
Parent
commit
c8aeeb8070
1 fichiers modifiés avec 2 ajouts et 0 suppressions
  1. 2 0
      .gitignore

+ 2 - 0
.gitignore

@@ -0,0 +1,2 @@
+# Ignore generated tags
+/doc/tags