From f82e26eadc0713b35751177ca54730c77481521c Mon Sep 17 00:00:00 2001 From: Sandro Date: Mon, 31 Jan 2022 12:32:31 +0100 Subject: [PATCH] Ignore generated doc/tags --- .gitignore | 1 + 1 file changed, 1 insertion(+) create mode 100644 .gitignore diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..926ccaa --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +doc/tags