chiark / gitweb /
Minor fixes to lint.py
authorDaniel Martí <mvdan@mvdan.cc>
Fri, 14 Feb 2014 22:59:39 +0000 (23:59 +0100)
committerDaniel Martí <mvdan@mvdan.cc>
Fri, 14 Feb 2014 22:59:39 +0000 (23:59 +0100)
commita49f04a947e7af8e93737eee00d283f9f4527212
treeaccae320a6317ea6f284e91c886770bd7dd45c18
parent7f2c0e27ca5e4f54f947f3a7511e575f1b62bfdb
Minor fixes to lint.py
fdroidserver/lint.py