docs: add RELEASE-TOOLS.md.dist to .gitignore

Closes #14079
This commit is contained in:
Yedaya Katsman 2024-07-01 23:18:42 +03:00 committed by Daniel Stenberg
parent 6c3a91ed66
commit 9b683577e1
No known key found for this signature in database
GPG Key ID: 5CC908FDB71E12C2

1
docs/.gitignore vendored
View File

@ -4,3 +4,4 @@
*.1 *.1
*.3 *.3
RELEASE-TOOLS.md.dist