I think 'dists' was renamed to 'archives'.  Maybe the defaultTasks was just
overlooked?  I've been distracted lately and not been keeping up with
changes, so I might be wrong.  :)


-- 
John Murph
Automated Logic Research Team

Reply via email to