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 689fda94 authored by PALA Davide's avatar PALA Davide

Merge branch 'elfFile_refactor' into 'master'

Elf file refactoring

See merge request !2
parents 6158c24b 26a98f42
Pipeline #203846 passed with stages
in 5 minutes and 34 seconds