chiark / gitweb /
lint: optionally check format
authorDaniel Martí <mvdan@mvdan.cc>
Mon, 7 Dec 2015 19:12:26 +0000 (20:12 +0100)
committerDaniel Martí <mvdan@mvdan.cc>
Mon, 7 Dec 2015 19:12:26 +0000 (20:12 +0100)
commitc2304b33156ef91fef7ddd40356ac80319de3c91
tree7f705041a35d3d921b29c180ae6d9fd05dfe5538
parentfa0dcf544995933fdb4f67d650ade88b9b4e5df4
lint: optionally check format
fdroidserver/lint.py
fdroidserver/rewritemeta.py