From bafb9ea9328ae080fad0ee47e840285d09e05617 Mon Sep 17 00:00:00 2001
From: Philip Taron <philip.taron@gmail.com>
Date: Sat, 2 Mar 2024 14:08:55 -0800
Subject: [PATCH] gitignore: ignore tags file

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index f0807473f06b..e73debc369c5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -11,6 +11,7 @@ outputs/
 result-*
 result
 repl-result-*
+tags
 !pkgs/development/python-modules/result
 /doc/NEWS.html
 /doc/NEWS.txt