From 984c862722cbedc3b679733e19a75353b5d31397 Mon Sep 17 00:00:00 2001 From: gravel Date: Sat, 18 Nov 2023 10:51:44 +0000 Subject: [PATCH] Undo tab minification --- php/generate-html.php | 2 -- 1 file changed, 2 deletions(-) diff --git a/php/generate-html.php b/php/generate-html.php index afcc4aa..c95dd7e 100644 --- a/php/generate-html.php +++ b/php/generate-html.php @@ -62,8 +62,6 @@ exit(255); } - $output = preg_replace("/\\t+/", "\t", $output); - file_put_contents($docpath, join("\n", $output)); }