Move instead of deleting old server log
tree14da6e79b2277ef609655a59fee31194968360d6
-rw-r--r-- 1216 .gitignore
-rw-r--r-- 98 .gitmodules
-rw-r--r-- 5595 .travis.yml
drwxr-xr-x - CMake
-rw-r--r-- 912 CMakeLists.txt
-rw-r--r-- 1458 CONTRIBUTING.md
-rw-r--r-- 3204 LICENSE.PHP
-rw-r--r-- 2803 LICENSE.ZEND
-rw-r--r-- 3892 README.md
-rwxr-xr-x 634 configure
-rwxr-xr-x 6650 configure_generic.sh
drwxr-xr-x - hphp
m--------- - third-party