From 987d9342dd21fb5999f325b70b9516e111e4eb47 Mon Sep 17 00:00:00 2001
From: rubisalpha <rubisalpha@noreply.localhost>
Date: Thu, 26 Mar 2026 14:45:47 +0000
Subject: [PATCH] Actualiser admin_users.php

---
 admin_users.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/admin_users.php b/admin_users.php
index 54da65f..f5c2cf8 100644
--- a/admin_users.php
+++ b/admin_users.php
@@ -6,7 +6,6 @@ if (!isset($_SESSION['user']) || $_SESSION['role'] !== 'Admin') {
 }
 
 include 'include/header.php';
-include 'include/nav.php';
 ?>
 
     <h2>Gestion des utilisateurs</h2>