remove geor_loc workspace

georchestra · Oct 31, 2023 · 2038886 · 2038886
1 parent 2146808
commit 2038886
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 9 deletions.
diff --git a/workspaces/default.xml b/workspaces/default.xml
@@ -0,0 +1,5 @@
+<workspace>
+  <id>WorkspaceInfoImpl-2b665931:15a1d6fbd50:-7ff9</id>
+  <name>geor</name>
+  <isolated>false</isolated>
+</workspace>
diff --git a/workspaces/geor_loc/namespace.xml b/workspaces/geor_loc/namespace.xml
diff --git a/workspaces/geor_loc/workspace.xml b/workspaces/geor_loc/workspace.xml