@@ -59,4 +59,4 @@ Il est probable que les chemins des comptes des membres et du projet changent su
* Le service d'intégration continue proposé par GitLab est désactivé. Nous vous recommandons d'utiliser le serveur Jenkins ci.inria.fr. Aucun support ne sera assuré au niveau du service d'intégration continue proposé par Gitlab.
