darcs patch: Rename withWorkspace to withWindowSet.

1 Jun
2007
1 Jun
'07
12:14 a.m.
Thu May 31 20:13:25 EDT 2007 glasser@mit.edu * Rename withWorkspace to withWindowSet.
6608
Age (days ago)
6608
Last active (days ago)
1 comments
2 participants
participants (2)
-
dons@cse.unsw.edu.au
-
glasser@mit.edu