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