Merge pull request #134 from psvenk/ignore-tags

Ignore help tags
This commit is contained in:
Andy Massimino
2021-02-26 16:39:12 -05:00
committed by GitHub

1
.gitignore vendored Normal file
View File

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