index.php
changeset 103 a8891e108c95
parent 97 293148ad7a70
child 116 77c75179bb95
--- a/index.php	Sun Aug 26 16:48:15 2007 -0400
+++ b/index.php	Sun Aug 26 20:45:33 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;