Merge "Set $_SERVER['SERVER_NAME'] to the value set by --server"
[lhc/web/wiklou.git] / maintenance / hhvm /
drwxr-xr-x   ..
-rw-r--r-- 4777 makeRepo.php
-rwxr-xr-x 484 run-server
-rw-r--r-- 482 server.conf