opengm/opengm — pull request #175 by DerThorsten (2013-11-25 09:06:26+00:00)
Title: added missing file

added missing file