diff --git a/doc/compress.html b/doc/compress.html index 2a6efb08c9..42d733221c 100644 --- a/doc/compress.html +++ b/doc/compress.html @@ -27,6 +27,7 @@

{ } CodeMi

Version: