Merge remote-tracking branch 'origin/main'

This commit is contained in:
2026-08-03 08:59:34 +02:00

View File

@@ -204,8 +204,8 @@
"state": {
"type": "git-view",
"state": {},
"icon": "git-pull-request",
"title": "Source Control"
"icon": "lucide-ghost",
"title": "git-view"
}
},
{
@@ -239,14 +239,13 @@
"copilot:Open Copilot Chat": false
}
},
"active": "42ae838cdd906d75",
"active": "9548d7808822157b",
"lastOpenFiles": [
"100.Orga/Studienfortschritt.md",
"100.Orga/Showroom.md",
"10. Grundlagen technischer Systeme/Mathematische Grundlagen und Algebra/test note.md",
"copilot/copilot-conversations/Gauss_Algorithm_Explanation_Breakdown@20260731_173834.md",
"copilot/memory/Recent Conversations.md",
"copilot/memory",
"100.Orga/Studienfortschritt.md",
"copilot/copilot-conversations/ECTS_Count_in_Table@20260731_173555.md",
"copilot/copilot-conversations",
"copilot/copilot-custom-prompts/Clip Web Page.md",