chiark / gitweb /
lint: fix duplicate usage of appid
authorDaniel Martí <mvdan@mvdan.cc>
Tue, 26 Aug 2014 11:31:31 +0000 (13:31 +0200)
committerDaniel Martí <mvdan@mvdan.cc>
Tue, 26 Aug 2014 11:33:17 +0000 (13:33 +0200)
commit0da8c2c36591c02aafcbe90254ba335d55798ef3
tree2f2e0f6f31573b02b855372098e7d3c35fee1186
parent102cbd20b38a2c10084927a0d0b8698086919ff5
lint: fix duplicate usage of appid
fdroidserver/lint.py