diff README.txt @ 893:1558f8257474

gather progress only if command reports it
author Dmitry Neverov <dmitry.neverov@jetbrains.com>
date Fri, 07 Nov 2014 16:05:09 +0100
parents f6114497a33f
children e9987cf08919
line wrap: on
line diff