-
BERJON Matthieu authored
I changed the header in order to show only the gitlab sign-in/login button when the user isn't authenticated and logout button when he is. Signed-off-by: Matthieu Berjon <matthieu.berjon@inria.fr>
524db0d0
I changed the header in order to show only the gitlab sign-in/login
button when the user isn't authenticated and logout button when he is.
Signed-off-by: Matthieu Berjon <matthieu.berjon@inria.fr>