From 7c0b0b7ea5ae7e215772f37765d3f0df868afdaa Mon Sep 17 00:00:00 2001
From: Benjamin Neumann <benjamin.richard.neumann@rwth-aachen.de>
Date: Thu, 23 Jul 2026 08:25:16 +0200
Subject: [PATCH] vault backup: 2026-07-23 08:25:16

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

diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 06e1827..75fd39d 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -6,7 +6,7 @@
       {
         "id": "fd9f21d5268b584f",
         "type": "tabs",
-        "dimension": 51.6260162601626,
+        "dimension": 51.626016260162594,
         "children": [
           {
             "id": "25f5b25d5eca7203",
@@ -27,7 +27,7 @@
       {
         "id": "5958b9e0863b6a71",
         "type": "tabs",
-        "dimension": 48.3739837398374,
+        "dimension": 48.373983739837406,
         "children": [
           {
             "id": "2d42c893aebdc580",