21 Aug
2007
21 Aug
'07
5: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 <andrea.rossato@unibz.it> * CycleWS: a couple of simple functions to cycle between workspaces