Revision 1a368af037143fdfb78254347ae131b2953329fa authored by Domenic Denicola on 18 August 2016, 22:14:53 UTC, committed by Domenic Denicola on 18 August 2016, 22:14:53 UTC
This reflects the conclusion of https://github.com/whatwg/html/issues/1200 as in https://github.com/whatwg/html/pull/1693.
1 parent 41ac1ae
lint
#!/usr/bin/env python
import sys
try:
from tools.lint import lint
except ImportError:
print("tools.lint not found. Did you forget to run "
'"git submodule update --init --recursive"?')
sys.exit(2)
sys.exit(0 if lint.main() == 0 else 1)
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...