chiark / gitweb /
lint: overhaul, cleaner and saner output
authorDaniel Martí <mvdan@mvdan.cc>
Fri, 11 Sep 2015 01:41:10 +0000 (18:41 -0700)
committerDaniel Martí <mvdan@mvdan.cc>
Fri, 11 Sep 2015 01:41:10 +0000 (18:41 -0700)
commitcc48d2828c940f1c761dbe3da16e25ea533e340b
treed25e6330ee0e554ca636f48cccf9cf53996cef6c
parentacfc48970de409d42404366cf920897661071da7
lint: overhaul, cleaner and saner output
fdroidserver/lint.py