medInria/medInria-public — pull request #149 by papadop (2014-06-04 14:27:37+00:00)
Title: Remove unnecessary files.

These files are not used. Remove them so that we do not have to maintain them.