chiark / gitweb /
lint: new category
authorDaniel Martí <mvdan@mvdan.cc>
Sun, 30 Aug 2015 01:24:18 +0000 (18:24 -0700)
committerDaniel Martí <mvdan@mvdan.cc>
Sun, 30 Aug 2015 01:24:18 +0000 (18:24 -0700)
commitd83d0c2520ed474de52d4943dc1e1fd019e8dae6
treef6a7860468b3997b914769141f049e1f05255d15
parent3a331c5be194b092492daaf07928afff2681ae85
lint: new category
fdroidserver/lint.py