sec #1

Merged
fzzin merged 95 commits from sec into main 2026-03-03 09:50:23 +01:00
Showing only changes of commit 189fae5536 - Show all commits

View File

@@ -34,9 +34,21 @@
"icon": "lucide-file",
"title": "Vorlesung 10"
}
},
{
"id": "ae9ebe2f65d51bc1",
"type": "leaf",
"state": {
"type": "release-notes",
"state": {
"currentVersion": "1.11.5"
},
"icon": "lucide-book-up",
"title": "Release Notes 1.11.5"
}
}
],
"currentTab": 1
"currentTab": 2
}
],
"direction": "vertical"
@@ -206,7 +218,7 @@
"workspaces:Manage workspace layouts": false
}
},
"active": "eab95fbe8bc048a5",
"active": "ae9ebe2f65d51bc1",
"lastOpenFiles": [
"Semester 7/REDIG/Vorlesung 9.md",
"Semester 7/REDIG/Vorlesung 10.md",