HCoop
/
jyaworski
/
domtool2.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
b44d16e
)
Library goodies
author
Adam Chlipala
<adamc@hcoop.net>
Mon, 25 Feb 2008 00:33:05 +0000
(
00:33
+0000)
committer
Adam Chlipala
<adamc@hcoop.net>
Mon, 25 Feb 2008 00:33:05 +0000
(
00:33
+0000)
lib/hcoop.dtl
patch
|
blob
|
blame
|
history
diff --git
a/lib/hcoop.dtl
b/lib/hcoop.dtl
index
f538e7e
..
9fc5b90
100644
(file)
--- 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
_w
eb = \host -> \docroot -> web host where
+val simple
W
eb = \host -> \docroot -> web host where
DocumentRoot = home docroot
with end;