From 80d8dc196979dc9c9054aeff96790b8b515900e0 Mon Sep 17 00:00:00 2001
From: Thomas Kuschel <oe1tkt@gmail.com>
Date: Tue, 13 Jun 2023 15:23:29 +0200
Subject: [PATCH] UPD gitignore, nogit directory exclusion

---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitignore b/.gitignore
index b29e031..1830d55 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,3 +15,5 @@ updpkgsums.sh
 *.synctex.gz
 *.save
 *.out
+# nogit directory, ignore:
+nogit/
\ No newline at end of file