David Roundy <droundy at darcs.net> added the comment: It's a bug in the documentation. ---------- nosy: +droundy status: unread -> chatting __________________________________ Darcs bug tracker <bugs at darcs.net> <http://bugs.darcs.net/issue995> __________________________________