Remove unused tools scripts

ramsey · Aug 12, 2018 · e373667 · e373667
1 parent 5cadea8
commit e373667
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 181 deletions.
diff --git a/tools/build-docker-image.sh b/tools/build-docker-image.sh
diff --git a/tools/run-tests.sh b/tools/run-tests.sh