IDSCETHZurich/IDSC-tools — pull request #1 by ultinate (2012-04-25 14:56:34+00:00)
Title: fix std::namespace issue

plus gitignore