Skip to content

Changement nom index

migration requested to merge changement_nom_index into master
  • Change le nom du fichier index et sa référence dans gitlab CI
  • Cette opération répare le lien vers la doc, qui est changé dans le README

Merge request reports