diff options
-rw-r--r-- | maj/index.php | 1 |
1 files changed, 0 insertions, 1 deletions
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> |