chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1292642) | patch
lint: catch more incorrect lists
authorDaniel Martí <mvdan@mvdan.cc>
Mon, 31 Aug 2015 22:25:41 +0000 (15:25 -0700)
committerDaniel Martí <mvdan@mvdan.cc>
Mon, 31 Aug 2015 22:25:41 +0000 (15:25 -0700)
commit23794446f76f140f4b8d9c32158884ad7621379c
tree4afee1c2832bbcc05830a2c69e3ec394dfb7b28dtree | snapshot
parent12926420a6a09c5d9f7107b5901c43bd0f4327c3commit | diff
lint: catch more incorrect lists
fdroidserver/lint.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.