chiark / gitweb /
lint: complain about useless Name: fields
authorDaniel Martí <mvdan@mvdan.cc>
Sun, 7 Jun 2015 12:03:15 +0000 (14:03 +0200)
committerDaniel Martí <mvdan@mvdan.cc>
Sun, 7 Jun 2015 12:03:15 +0000 (14:03 +0200)
commit5f894f1d388830f201cc03c750db4c8ea7e48897
tree81b5e6b07760d7663635673052257c1a159be66f
parent4db4a86420d9dd6e83489221b40f8bf828b0662e
lint: complain about useless Name: fields
fdroidserver/lint.py