TP: Licence 3 informatique (semestre 6) université Lille 1
###Pour pull/push les submodules:
git submodule update --init --recursive
pour initialiser les modules
Petit souci pour les sous-module il faut vérifier si vous êtes dans
la branche master !
git submodule foreach git pull origin master
pour pull tous les modules
git config core.ignorecase false
pour respecter la casse des noms de fichiers