3 ms·we have been using darcs for quite some time now. very happy with it thus far.by chris 19y agowe have been using darcs for quite some time now. very happy with it thus far.