diff --git a/dev/lint b/dev/lint deleted file mode 100755 index 91b20fe..0000000 --- a/dev/lint +++ /dev/null @@ -1,4 +0,0 @@ -#!/bin/bash -set -eou pipefail - -cargo clippy --all-features --no-deps