X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/b271ecb02a659115092aa73ebf2e15bf607c4bb8..e7482df3346f6976f62e3f7e07afbcf419f7411a:/lib/hcoop.dtl

diff --git a/lib/hcoop.dtl b/lib/hcoop.dtl
index d9fe950..b4b3109 100644
--- a/lib/hcoop.dtl
+++ b/lib/hcoop.dtl
@@ -6,3 +6,15 @@ extern type homedir_path;
 extern val home : homedir_path -> your_path;
 {{Shortcut to denote a subdirectory of your home directory}}
 
+extern val homeS : no_spaces -> no_spaces;
+{{Use this version when it doesn't matter if the output is a real filesystem
+  path.}}
+
+val mailmanHcoop = mailmanWebHost "lists.hcoop.net";
+{{Configure your domain to have its Mailman mailing lists served on the web at
+  lists.hcoop.net.}}
+
+val deleuze_ip : (ip) = "69.90.123.67";
+val mire_ip : (ip) = "69.90.123.68";
+val krunk_ip : (ip) = "69.90.123.70";
+val fyodor_ip : (ip) = "64.20.38.170";