diff --git a/util/update_lints.py b/util/update_lints.py deleted file mode 100755 index 1800fa05c90..00000000000 --- a/util/update_lints.py +++ /dev/null @@ -1,10 +0,0 @@ -#!/usr/bin/env python - -import sys - -def main(): - print('Error: Please use `util/dev` to update lints') - return 1 - -if __name__ == '__main__': - sys.exit(main())