Merge pull request #292897 from philiptaron/gitignore-tags

gitignore: ignore tags file
This commit is contained in:
Artturi 2024-03-04 19:19:32 +02:00 committed by GitHub
commit e4e6b7e542
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

1
.gitignore vendored
View File

@ -11,6 +11,7 @@ outputs/
result-*
result
repl-result-*
tags
!pkgs/development/python-modules/result
/doc/NEWS.html
/doc/NEWS.txt