chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 736391d) | patch
lint: error on unused files
authorDaniel Martí <mvdan@mvdan.cc>
Thu, 5 May 2016 11:40:16 +0000 (12:40 +0100)
committerDaniel Martí <mvdan@mvdan.cc>
Thu, 5 May 2016 11:40:16 +0000 (12:40 +0100)
commit0c6269bb67b2c9556877fc68b2ed7f2ac0f6c02f
treef441451de6e25b488d845309d7a59ae71ffc0dfatree | snapshot
parent736391d3d93428ffcf037325c47f75604b3fe9e2commit | diff
lint: error on unused files

For now, this is just patch files.
fdroidserver/lint.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.