Skip to content
Snippets Groups Projects
Commit b5885f68 authored by Martin Schroschk's avatar Martin Schroschk
Browse files

Fix listing

parent c4feb07a
No related branches found
No related tags found
2 merge requests!1071Automated merge from preview to main,!862Issue 482: ws_register in bash.rc
...@@ -347,7 +347,7 @@ workspaces within in the directory `DIR`. Calling this command will do the follo ...@@ -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"; printf "${ANSRED} ws_register: timeout after 10 seconds.${ANSRESET}\n";
fi; fi;
echo "" echo ""
``` ```
## How to use Workspaces ## How to use Workspaces
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment