DGtal-team/DGtalTools — pull request #19 by kerautret (2012-09-22 21:09:05+00:00)
Title: wrong header removed

Tiny PR for issue 18