dsi-infrastructure/dsi-repo — pull request #25 by peychart (2014-10-10 01:12:42+00:00)
Title: No more wget resources

Suppression des wget inutiles...