Ben Ramsey 446df35e87 Move util/ to tools/ ...

GitHub ignores the contents of the tools/ directory for the purpose of
repo language statistics.

2017-03-26 16:03:42 -05:00

..

hhvm-docker

Move util/ to tools/

2017-03-26 16:03:42 -05:00

build-docker-image.sh

Move util/ to tools/

2017-03-26 16:03:42 -05:00

run-tests.sh

Move util/ to tools/

2017-03-26 16:03:42 -05:00