From b708d9d78ce3e9067461b4ce7270a5587c015171 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Mon, 14 Apr 2025 12:34:54 +0200 Subject: [PATCH] vault backup: 2025-04-14 12:34:54 --- .obsidian/workspace.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index ebc4db3..837df92 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -238,15 +238,15 @@ "companion:Toggle completion": false } }, - "active": "364a7591f14f033a", + "active": "fbeaa35cc5a8abf1", "lastOpenFiles": [ + "Concurrent Systems/slides/class 11.pdf", "Concurrent Systems/notes/11 - LTSs and Bisimulation.md", "Concurrent Systems/notes/12 - bastaaaaaaaa.md", "Concurrent Systems/slides/class 12.pdf", "Pasted image 20250414104010.png", "Pasted image 20250414103800.png", "Pasted image 20250414102733.png", - "Concurrent Systems/slides/class 11.pdf", "Pasted image 20250414093017.png", "Pasted image 20250414092202.png", "Pasted image 20250414091528.png",