Permalink
Browse files

Merge pull request #10 from jbnicolai/add-doc-tags-to-gitignore

Ignores generated /doc/tags.
  • Loading branch information...
2 parents ae2f7e6 + 1841fd0 commit 876f0bd2a7296c985fc9e68e23495621c1c554e1 @bruno- bruno- committed Jan 7, 2016
Showing with 1 addition and 0 deletions.
  1. +1 −0 .gitignore
View
@@ -0,0 +1 @@
+/doc/tags

0 comments on commit 876f0bd

Please sign in to comment.