gitignore: ajout d'une exclusion du répertoire public
Lorsqu'on build le site avec -d public, il faut l'ignorer pour ne pas «pourrir» l'historique git.
Mise à jour terminée 17.6.1
Important ! Pour éviter les confusions, merci de ne pas choisir de noms génériques lors de la création de vos groupes : "maths", "sixieme", "numerique"…
Lorsqu'on build le site avec -d public, il faut l'ignorer pour ne pas «pourrir» l'historique git.