From: Jérôme Benoit Date: Mon, 15 Jan 2018 21:57:03 +0000 (+0100) Subject: Menu polishing. X-Git-Url: https://git.piment-noir.org/?p=Project_webapp.git;a=commitdiff_plain;h=5ba9453618c9f9fbb327e568336d4c7df96eda36 Menu polishing. Signed-off-by: Jérôme Benoit --- diff --git a/includes/header.php b/includes/header.php index 1aa4c02..4e894a6 100644 --- a/includes/header.php +++ b/includes/header.php @@ -32,7 +32,7 @@ $is_logged_in = chk_logged_in(); ?>