From c5a8be5d52d08d250c35d0a6b1103c26241eb1e3 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Mon, 14 Apr 2025 10:47:25 +0200 Subject: [PATCH] vault backup: 2025-04-14 10:47:25 --- .obsidian/workspace.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 8ff392b..f69c86a 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -241,9 +241,9 @@ "active": "2882ba3b76891dd0", "lastOpenFiles": [ "Concurrent Systems/notes/12 - bastaaaaaaaa.md", + "Concurrent Systems/slides/class 12.pdf", "Pasted image 20250414104010.png", "Pasted image 20250414103800.png", - "Concurrent Systems/slides/class 12.pdf", "Pasted image 20250414102733.png", "Concurrent Systems/notes/11 - LTSs and Bisimulation.md", "Concurrent Systems/slides/class 11.pdf",