chiark / gitweb /
lint: small cleanup
authorDaniel Martí <mvdan@mvdan.cc>
Sat, 12 Sep 2015 06:35:32 +0000 (23:35 -0700)
committerDaniel Martí <mvdan@mvdan.cc>
Sat, 12 Sep 2015 06:35:32 +0000 (23:35 -0700)
commitb42b45f762d4184b7a5df48af6a79a6d1253d9c7
tree68347c92c3ca80878d21f0d857fcb3bd63506a5b
parentecad89dc059bcb06a276f786ccb60e327e23f587
lint: small cleanup
fdroidserver/lint.py