cschen ce87c5334d made create and delete workspaces as internal commands as well. ... Fixed the same issues that the workspace browser had for the creation and deletion also in the server browser.		2025-02-18 22:36:14 +01:00
..
client.py	made create and delete workspaces as internal commands as well.	2025-02-18 22:36:14 +01:00
workspace.py	i'm dumb, and i was wondering why the LOGGER was not printing messages...	2025-02-18 21:17:13 +01:00