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 b74d51e0d3ad3a7fa7a3179eea28b5592f3c4a7b..8a9a391ebcfff499e19ffb52fe394d5895df2ab6 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