Ignore generated help tags (#26)

This commit is contained in:
Alexander Heinrich 2022-05-16 14:45:10 +02:00 committed by GitHub
parent e6b5feb2e6
commit affe808a5c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

1
.gitignore vendored Normal file
View file

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