1 files changed, 0 insertions, 10 deletions
diff --git a/tools/check b/tools/check
deleted file mode 100755
index 269a23d..0000000
--- a/tools/check
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/bash -e
-
-cd "$(dirname "$0")/.."
-
-## tools/check
-##
-## Run checks on the project, exiting with a zero status if all checks pass.
-
-tools/check-lint
-tools/check-style