UPD gitignore, nogit directory exclusion

2023-06-13 15:23:29 +02:00
parent 57328e445b
commit 80d8dc1969
1 changed files with 2 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -15,3 +15,5 @@ updpkgsums.sh
 *.synctex.gz
 *.save
 *.out
+# nogit directory, ignore:
+nogit/