chiark / gitweb /
Don't run lint on disabled apps
authorDaniel Martí <mvdan@mvdan.cc>
Thu, 23 Jan 2014 09:54:32 +0000 (10:54 +0100)
committerDaniel Martí <mvdan@mvdan.cc>
Thu, 23 Jan 2014 09:54:32 +0000 (10:54 +0100)
commitd6dbad65c660a3d358a06646e39c49ed64e95b5f
tree1f229e129ed3be3e2042b88f17dc711c10abb2a6
parentb3ef0970dcc2c51f62b964ef802eea6094685a4d
Don't run lint on disabled apps
fdroidserver/lint.py