summaryrefslogtreecommitdiff
path: root/tools/check-style
diff options
context:
space:
mode:
Diffstat (limited to 'tools/check-style')
-rwxr-xr-xtools/check-style10
1 files changed, 0 insertions, 10 deletions
diff --git a/tools/check-style b/tools/check-style
deleted file mode 100755
index adb2499..0000000
--- a/tools/check-style
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/bash -e
-
-cd "$(dirname "$0")/.."
-
-## tools/check-style
-##
-## Run style checks on the project, exiting with a zero status if there are no style
-## issues.
-
-exec black --check --diff envdir