index.php
changeset 183 91127e62f38f
parent 174 4c5c2b66a34d
child 187 9dbbec5e6096
child 195 eec079676fe7
child 246 c9fd175289aa
--- a/index.php	Sun Oct 07 17:22:25 2007 -0400
+++ b/index.php	Tue Oct 09 16:14:55 2007 -0400
@@ -15,7 +15,7 @@
 
   // Set up gzip encoding before any output is sent
   
-  $aggressive_optimize_html = false;
+  $aggressive_optimize_html = true;
   
   global $do_gzip;
   $do_gzip = true;