From 6d5bf02e9535b3be6d0e8eebdccdccdfb6cf6d88 Mon Sep 17 00:00:00 2001
From: ralfulrich <ralf.ulrich@kit.edu>
Date: Thu, 16 Jul 2020 10:53:18 +0200
Subject: [PATCH] tabs

---
 tabs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tabs b/tabs
index dc1eb37..deaba53 160000
--- a/tabs
+++ b/tabs
@@ -1 +1 @@
-Subproject commit dc1eb37e1a309993cb0c696109c7a29201375f95
+Subproject commit deaba53f668d880e02d3d0648fe15255cdf96b51
-- 
GitLab