medInria/medinria-superproject — pull request #33 by rdebroiz (2013-10-16 15:17:47+00:00)
Title: USE_GITHUB_SSH and PRIVATE_PLUGINS_DIRS are not mark as advanced anymore...

A really small PR, because it is painful to scroll to the bottom of the list of advanced varibales looking for those two.