From b5885f68cc05453c9d2a9cb5fa91752ba3987158 Mon Sep 17 00:00:00 2001 From: Martin Schroschk <martin.schroschk@tu-dresden.de> Date: Mon, 25 Sep 2023 11:00:33 +0200 Subject: [PATCH] Fix listing --- doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 b74d51e0d..8a9a391eb 100644 --- a/doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md +++ b/doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md @@ -347,7 +347,7 @@ workspaces within in the directory `DIR`. Calling this command will do the follo printf "${ANSRED} ws_register: timeout after 10 seconds.${ANSRESET}\n"; fi; echo "" -``` + ``` ## How to use Workspaces -- GitLab