24 Jul
2007
24 Jul
'07
2:14 p.m.
This removes an unnecessary check on the value of the workspace id in shift. David Tue Jul 24 07:13:25 PDT 2007 David Roundy <droundy@darcs.net> * simplify shift, removing unneeded check.