Remove util/update_lints.py

This has been deprecated for ~10 months, so I think it's fine to remove now.
This commit is contained in:
Philipp Hansch 2019-08-15 17:43:30 +02:00
parent 90a4293759
commit 781794d49f
No known key found for this signature in database
GPG key ID: 82AA61CAA11397E6

View file

@ -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())