chiark / gitweb /
lint: accept new category Sports & Health
authorDaniel Martí <mvdan@mvdan.cc>
Sun, 30 Aug 2015 23:08:22 +0000 (16:08 -0700)
committerDaniel Martí <mvdan@mvdan.cc>
Sun, 30 Aug 2015 23:08:22 +0000 (16:08 -0700)
commit18fe72bb0d33fab58bc188cb967636f67f37bb29
treeebac12cf9a836d8378ec41dc2485f8c0cecf23b3
parent377199d241bd3dda25ad801e73c9b05725d89915
lint: accept new category Sports & Health
fdroidserver/lint.py