20 Aug
2007
20 Aug
'07
7:44 p.m.
I don't know what folks will think of this, but I'd rather have WorkspaceId be a String. Then we don't need to worry about associating Strings with workspaces, and everything's pretty. David Mon Aug 20 04:36:58 PDT 2007 David Roundy <droundy@darcs.net> * switch WorkspaceId to String.