From 6074c1f152347eaea478111a56fe1746c53c5dbb Mon Sep 17 00:00:00 2001
From: Ludovic Pouzenc <ludovic@pouzenc.fr>
Date: Mon, 5 Jun 2017 12:27:44 +0200
Subject: Undo force dev mode

---
 maj/index.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/maj/index.php b/maj/index.php
index 81b96c2..ad6bea2 100644
--- a/maj/index.php
+++ b/maj/index.php
@@ -85,7 +85,6 @@ $( document ).ready(function() {
 	$adt_initiales = $result->initiales;
 
 	$action=array_key_exists('dev', $_GET)?"gen-dev.php":"gen.php";
-	$action="gen-dev.php";	// Force le mode dev
 ?>
 
 <h2>Étape n°1 : Générer mon fichier de mise à jour</h2>
-- 
cgit v1.1