HCoop
/
bpt
/
portal.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
members2 -> members
[bpt/portal.git]
/
config.sml
diff --git
a/config.sml
b/config.sml
index
b8c441a
..
acb31cc
100644
(file)
--- a/
config.sml
+++ b/
config.sml
@@
-1,7
+1,7
@@
structure Config :> CONFIG = struct
val scratchDir = "/afs/hcoop.net/user/h/hc/hcoop"
structure Config :> CONFIG = struct
val scratchDir = "/afs/hcoop.net/user/h/hc/hcoop"
-val urlPrefix = "https://members
2
.hcoop.net/portal/"
+val urlPrefix = "https://members.hcoop.net/portal/"
val emailSuffix = "@hcoop.net"
val boardEmail = "board" ^ emailSuffix
val emailSuffix = "@hcoop.net"
val boardEmail = "board" ^ emailSuffix