Added .gitignore file so as to play nicely as a git submodule.
@@ -0,0 +1 @@
doc/tags
The note is not visible to the blocked user.