Parcourir la source

Add doc/tags to .gitignore

Closes #182.
Boggs il y a 10 ans
Parent
commit
90dcfc9882
1 fichiers modifiés avec 1 ajouts et 0 suppressions
  1. 1 0
      .gitignore

+ 1 - 0
.gitignore

@@ -0,0 +1 @@
+doc/tags