DGtal-team/DGtalTools — pull request #46 by kerautret (2013-05-07 21:31:44+00:00)
Title: add boost option dep

Due to previous PR of DGtal removing the boost option lib