From bbd9a222edf0d49f1c82ca55a578e47eded76a23 Mon Sep 17 00:00:00 2001
From: Martin Schroschk <martin.schroschk@tu-dresden.de>
Date: Thu, 14 Oct 2021 08:03:39 +0200
Subject: [PATCH] Linter happy, I'm happy

---
 doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md b/doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md
index 209971a3e..027888e27 100644
--- a/doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md
+++ b/doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md
@@ -126,6 +126,7 @@ This means when you extend a workspace that expires in 90 days with the command
 ```console
 marie@login$ ws_extend -F scratch my-workspace 40
 ```
+
 it will now expire in 40 days **not** 130 days.
 
 ### Deletion of a Workspace
-- 
GitLab