[Mldonkey-commits] Changes to mldonkey/src/daemon/common/commonGlobals.ml

[mldonkey-commits]

Index: mldonkey/src/daemon/common/commonGlobals.ml
diff -u mldonkey/src/daemon/common/commonGlobals.ml:1.41 
mldonkey/src/daemon/common/commonGlobals.ml:1.42
--- mldonkey/src/daemon/common/commonGlobals.ml:1.41    Fri Jul 29 20:42:47 2005
+++ mldonkey/src/daemon/common/commonGlobals.ml Fri Jul 29 20:56:50 2005
@@ -825,7 +825,7 @@
 (* Name,FrameHeight *)
 let html_mods_styles = ref
   [| ("Green",42) ; ("Tang",42); ("L.Blue",42);
-        ("L.Purple",42); ("Monochrome",42); ("Corona",42); ("Coronax",42); |]
+        ("L.Purple",42); ("Monochrome",42); ("Corona",42); ("Coronax",42); 
("Construction",42); |]
 
 let partial_chunk c =
   match c with