chiark / gitweb /
lint: remove Children as valid category
authorDaniel Martí <mvdan@mvdan.cc>
Sun, 30 Aug 2015 00:52:15 +0000 (17:52 -0700)
committerDaniel Martí <mvdan@mvdan.cc>
Sun, 30 Aug 2015 00:52:15 +0000 (17:52 -0700)
commit518ba10b9f7aa2f37f13cc0d6ccde0ba8c471d8a
tree7a9febe06a401cc71ea8b065e8489adeccb997b3
parent120be4334d02c093daeed93804656bb785ef06c8
lint: remove Children as valid category
fdroidserver/lint.py