git://git.onelab.eu
/
codemux.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Update name.
[codemux.git]
/
codemux.conf
1
# regular option:
2
# format is "domain_name" "slice_name" "port
3
4
* root 1080 # this is for the Apache webserver
5
coblitz.codeen.org princeton_coblitz 3125
6
cdn.rd.tp.pl princeton_coblitz 3125
7
nyud.net nyu_d 8080
8
nyucd.net nyu_d 8080
9
nyuld.net nyu_oasis 8096
10
cob-web.org cornell_cobweb 8888