jlanzarotta/bufexplorer — pull request #1 by mgirouard (2013-10-20 19:31:21+00:00)
Title: Add /doc/tags to a .gitignore

Other hide options should be considered, but this at least hides the
auto generated tags. This is probably only a problem for those pulling
the project in submodules.