
21 Aug
2007
21 Aug
'07
1:47 a.m.
Hi,
this is a module that exports a couple of simple functions to cycle
between workspaces.
It'll keep working when we will switch the type WorkspaceID = String
Andrea
Tue Aug 21 07:45:18 CEST 2007 Andrea Rossato