14 Aug
2007
14 Aug
'07
6:59 p.m.
This is still rather crude: we ought to be able to specify a XPrompt configuration, for instance. David Tue Aug 14 11:58:22 PDT 2007 David Roundy <droundy@darcs.net> * use XPrompt in WorkspaceDir.