Closed cgay closed 1 year ago
The "workspaces" library is now in the "dylan-tool-lib" library and the "dylan-tool" repository, so remove the "workspaces" submodule and add "dylan-tool" instead. Also minor updates to the code to match changes to the workspace-directory function.
workspace-directory
This is pretty straight-forward submodule stuff, so I'll just merge it....
The "workspaces" library is now in the "dylan-tool-lib" library and the "dylan-tool" repository, so remove the "workspaces" submodule and add "dylan-tool" instead. Also minor updates to the code to match changes to the
workspace-directory
function.