From be5f1b39af1f536106a1e17ac359e764331f334a Mon Sep 17 00:00:00 2001
From: Marco Realacci <marco@marcorealacci.me>
Date: Tue, 25 Mar 2025 11:10:47 +0100
Subject: [PATCH] vault backup: 2025-03-25 11:10:47

---
 .obsidian/workspace.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 906f8a2..d99f304 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -230,10 +230,10 @@
   },
   "active": "43416c0d533d9ab4",
   "lastOpenFiles": [
-    "Concurrent Systems/notes/8 - Enhancing Liveness Properties.md",
     "Concurrent Systems/slides/class 8.pdf",
-    "Pasted image 20250325090735.png",
     "Concurrent Systems/notes/7- MUTEX-free concurrency.md",
+    "Concurrent Systems/notes/8 - Enhancing Liveness Properties.md",
+    "Pasted image 20250325090735.png",
     "Concurrent Systems/notes/images/Pasted image 20250324091452.png",
     "Concurrent Systems/slides/class 7.pdf",
     "Concurrent Systems/notes/6 - Atomicity.md",