From c5a6226854aaaa6fc0c81e61ffbeabd6671c16f0 Mon Sep 17 00:00:00 2001
From: Marco Realacci <marco@marcorealacci.me>
Date: Tue, 15 Apr 2025 08:20:18 +0200
Subject: [PATCH] vault backup: 2025-04-15 08:20:18

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

diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 251bb92..1455b79 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -174,7 +174,8 @@
       }
     ],
     "direction": "horizontal",
-    "width": 364.5
+    "width": 364.5,
+    "collapsed": true
   },
   "left-ribbon": {
     "hiddenItems": {
@@ -190,7 +191,7 @@
       "companion:Toggle completion": false
     }
   },
-  "active": "0d5325c0f9289cea",
+  "active": "84845736e00d5c98",
   "lastOpenFiles": [
     "Concurrent Systems/notes/11 - LTSs and Bisimulation.md",
     "Concurrent Systems/notes/12 - Calculus of communicating system.md",