medInria/medInria-public — pull request #214 by gpasquie (2014-12-19 11:02:21+00:00)
Title: Cleaning and fixing in the settings widget

This fixes #197