From 9b683577e1102a2b2b8b4050f36e40c30cdf33c4 Mon Sep 17 00:00:00 2001
From: Yedaya Katsman <yedaya.ka@gmail.com>
Date: Mon, 1 Jul 2024 23:18:42 +0300
Subject: [PATCH] docs: add RELEASE-TOOLS.md.dist to .gitignore

Closes #14079
---
 docs/.gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/.gitignore b/docs/.gitignore
index a087be744b..31ca7656e9 100644
--- a/docs/.gitignore
+++ b/docs/.gitignore
@@ -4,3 +4,4 @@
 
 *.1
 *.3
+RELEASE-TOOLS.md.dist