DGtal-team/DGtal — pull request #738 by elcerdo (2013-11-13 14:53:02+00:00)
Title: Non spamming progress bar

avoid spending too much time drawing progress bar