DGtal-team/DGtalTools — pull request #104 by kerautret (2013-12-08 16:54:29+00:00)
Title: Fixtype name and option

some edits from previous merge