Remove and ignore doc/tags

The file should be regenerated by the user.
idbrii · Nov 19, 2012 · 0cf8ac2 · 0cf8ac2
1 parent d98bc2c
commit 0cf8ac2
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 27 deletions.
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1 @@
+doc/tags
diff --git a/doc/tags b/doc/tags