Skip to content

cri_frontend: make header menu configurable

Nicolas Froger requested to merge configurable-header into develop

Signed-off-by: Nicolas Froger nico@cri.epita.fr

Merge request reports