From 73828e1b05703545e3e31e763cdc16e929fca0f1 Mon Sep 17 00:00:00 2001
From: Omar Zeghouani <59267627+ram02z@users.noreply.github.com>
Date: Sat, 21 Aug 2021 09:47:23 +0100
Subject: [PATCH] Delete tags

---
 doc/tags | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 doc/tags

diff --git a/doc/tags b/doc/tags
deleted file mode 100644
index 33c08a9..0000000
--- a/doc/tags
+++ /dev/null
@@ -1,9 +0,0 @@
-symbols-outline-commands	symbols-outline.txt	/*symbols-outline-commands*
-symbols-outline-configuration	symbols-outline.txt	/*symbols-outline-configuration*
-symbols-outline-contents	symbols-outline.txt	/*symbols-outline-contents*
-symbols-outline-default_keymaps	symbols-outline.txt	/*symbols-outline-default_keymaps*
-symbols-outline-highlights	symbols-outline.txt	/*symbols-outline-highlights*
-symbols-outline-installation	symbols-outline.txt	/*symbols-outline-installation*
-symbols-outline-introduction	symbols-outline.txt	/*symbols-outline-introduction*
-symbols-outline-prerequisites	symbols-outline.txt	/*symbols-outline-prerequisites*
-symbols-outline.txt	symbols-outline.txt	/*symbols-outline.txt*