From 22af7770a2963c3aa8fea75e6b053a9df302f80a Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Mon, 25 Feb 2008 00:33:05 +0000 Subject: [PATCH] Library goodies --- lib/hcoop.dtl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/hcoop.dtl b/lib/hcoop.dtl index f538e7e..9fc5b90 100644 --- a/lib/hcoop.dtl +++ b/lib/hcoop.dtl @@ -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; -- 2.20.1