chiark / gitweb /
lint: warn about incorrect lists
authorDaniel Martí <mvdan@mvdan.cc>
Fri, 14 Aug 2015 05:13:58 +0000 (22:13 -0700)
committerDaniel Martí <mvdan@mvdan.cc>
Fri, 14 Aug 2015 05:13:58 +0000 (22:13 -0700)
commitfbff41234f86995cc2f2b7e5f18310b3f489b234
treeb8886da92805106cd717284fbeb5253583e001d8
parent90a926dfb0f0a42590fa90b1bc207b37c29e5d33
lint: warn about incorrect lists
fdroidserver/lint.py