« README.md » n'existait pas sur « 9cd698f673eee3b31f2f86f7334154bc4f56e22d »
Merge de Dev-header-profil-deconnexion dans Dev
Comparer les modifications
@@ -37,19 +37,19 @@ if(!isset($_SESSION)) { // si
Modification du header pour y ajouter un bouton vers la page de profil et vers la déconnexion (lorsqu'on est connecté)