dsi-infrastructure/vagrant-dev — pull request #2 by sitle (2014-04-14 17:28:50+00:00)
Title: Mise en ligne de la box par défaut.

Modification mineure.