chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2379444) | patch
lint: warn about duplicate lines
authorDaniel Martí <mvdan@mvdan.cc>
Mon, 31 Aug 2015 22:32:52 +0000 (15:32 -0700)
committerDaniel Martí <mvdan@mvdan.cc>
Mon, 31 Aug 2015 22:32:52 +0000 (15:32 -0700)
commit19a281d7cb11f31f58cd6b99ad37d6f83c818f3d
tree39dd9d081f1836bd2d1e241e5dfdc1b2fdf8006ftree | snapshot
parent23794446f76f140f4b8d9c32158884ad7621379ccommit | diff
lint: warn about duplicate lines
fdroidserver/lint.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.