Library goodies
authorAdam Chlipala <adamc@hcoop.net>
Mon, 25 Feb 2008 00:33:05 +0000 (00:33 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Mon, 25 Feb 2008 00:33:05 +0000 (00:33 +0000)
lib/hcoop.dtl

index f538e7e..9fc5b90 100644 (file)
@@ -19,6 +19,6 @@ val mire_ip : (ip) = "69.90.123.68";
 val krunk_ip : (ip) = "69.90.123.70";
 val fyodor_ip : (ip) = "64.20.38.170";
 
-val simple_web = \host -> \docroot -> web host where
+val simpleWeb = \host -> \docroot -> web host where
   DocumentRoot = home docroot
 with end;