chiark / gitweb /
lint: better footer output logic
authorDaniel Martí <mvdan@mvdan.cc>
Fri, 28 Aug 2015 22:53:10 +0000 (15:53 -0700)
committerDaniel Martí <mvdan@mvdan.cc>
Fri, 28 Aug 2015 22:53:10 +0000 (15:53 -0700)
commita4236d62cdc956f20f1e532473025ab39e9171b6
tree8f3621a9d675bdbe0ff3c82dd572b1a4f75d4947
parentce8f74c98e893b94bef43d5a2c455fbe5e3a60d4
lint: better footer output logic
fdroidserver/lint.py