Undo tab minification

2 years ago · 984c862722
parent d125bc13a1
commit 984c862722
1 changed files with 0 additions and 2 deletions
--- 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));
 		}