data_workspacelist_workspa.txt

10. Apr, 2022Raw
data WorkspaceList = WorkspaceList [WorkspaceId]
instance ExtensionClass WorkspaceList where
    initialValue = WorkspaceList [scratchpadWorkspaceTag]