20 Aug
2007
20 Aug
'07
10:47 p.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