From 13e1e3054d2390ae92a8c98c8d38ec5f08305c16 Mon Sep 17 00:00:00 2001
From: Smirnov Oleksandr <ss2316544@gmail.com>
Date: Wed, 28 Feb 2024 15:23:45 +0200
Subject: [PATCH] ignore tags that mini.doc gens, but why?

---
 doc/.gitignore | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 doc/.gitignore

diff --git a/doc/.gitignore b/doc/.gitignore
new file mode 100644
index 0000000..61ffc7c
--- /dev/null
+++ b/doc/.gitignore
@@ -0,0 +1 @@
+/tags