26 Sep
2007
26 Sep
'07
6:34 p.m.
Here's some slightly verbose code to ensure that the tags in workspaces are always present on restart. David Wed Sep 26 14:33:09 EDT 2007 David Roundy <droundy@darcs.net> * merge old workspace tags with new on restart.