[enhance] bootstrap: upgraded default version to 1.4.0 (not 2.0.0 bec…

…ause not compatible with WBootstrap yet)
MLstate · Feb 13, 2012 · 6710f6b · 6710f6b
1 parent a47c1a4
commit 6710f6b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/stdlib/themes/bootstrap/core/core.opa b/stdlib/themes/bootstrap/core/core.opa
@@ -592,7 +592,7 @@ compute_version_url(v:string) =
     "http://twitter.github.com/bootstrap/assets/css/bootstrap.css"
 
 @private
-version = ServerReference.create("1.1.1") : reference(string)
+version = ServerReference.create("1.4.0") : reference(string)
 
 Bootstrap = {{
   unimport() =