HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
your_ip_to_ip
[hcoop/domtool2.git]
/
lib
/
domain.dtl
diff --git
a/lib/domain.dtl
b/lib/domain.dtl
index
8946633
..
2b17089
100644
(file)
--- a/
lib/domain.dtl
+++ b/
lib/domain.dtl
@@
-10,6
+10,7
@@
extern type ip;
{{An IP address}}
extern type your_ip;
+extern val your_ip_to_ip : your_ip -> ip;
{{An IP address that you're authorized to use; e.g., for an SSL web host}}
extern type host;