Update gitignore

This commit is contained in:
2025-05-24 19:22:59 +02:00
parent 02a9c80b19
commit d1c77def49
2 changed files with 3 additions and 3 deletions

2
.gitignore vendored
View File

@@ -86,4 +86,4 @@ data/*
# Ignore html files for now
# TODO: Remove later
*.html
25_07_phd_defense/index_cache/*
25_07_phd_defense/index_cache

View File

@@ -1,8 +1,8 @@
{
"files.autoSave": "off",
"files.exclude": {
"**/.git": false,
".git": false
"**/.git": true,
".git": true
},
"todo-tree.tree.hideTreeWhenEmpty": false
}