Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit eb1cd6a2 authored by Davide Pala's avatar Davide Pala

Merge branch 'master' of gitlab.inria.fr:srokicki/Comet

Merging changes to header styles
parents 1d15e4f7 aa4057f5
Pipeline #207473 passed with stages
in 16 minutes and 31 seconds