Index: .gitignore
===================================================================
diff -u -raa972ea5f72fad9a83255715eada6731a9966a83 -r28ee439966c2b482352f1cadd913d558fcac2a05
--- .gitignore	(.../.gitignore)	(revision aa972ea5f72fad9a83255715eada6731a9966a83)
+++ .gitignore	(.../.gitignore)	(revision 28ee439966c2b482352f1cadd913d558fcac2a05)
@@ -1,50 +1,17 @@
-# These are some examples of commonly ignored file patterns.
-# You should customize this list as applicable to your project.
-# Learn more about .gitignore:
-#     https://www.atlassian.com/git/tutorials/saving-changes/gitignore
-
-# Node artifact files
-node_modules/
-dist/
-
-# Compiled Java class files
-*.class
-
-# Compiled Python bytecode
-*.py[cod]
-
-# Log files
-*.log
-
-# Package files
-*.jar
-
-# Maven
-target/
-dist/
-
-# JetBrains IDE
+# Ignore folders
+__pycache__/
+document/html/
+document/latex/
 .idea/
+venv/
+.cache
+# The reposfolder will be used to clone
+# the software stack repositories
+repos/
 
-# Unit test reports
-TEST*.xml
-
-# Generated by MacOS
-.DS_Store
-
-# Generated by Windows
-Thumbs.db
-
-# Applications
-*.app
-*.exe
-*.war
-
-# Large media files
-*.mp4
-*.tiff
-*.avi
-*.flv
-*.mov
-*.wmv
-
+# Ignore files with these extensions
+*.log
+*.json
+*.xlsx
+*.~lock.*
+*.ods