chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 905e58f) | patch
Use counters in lint
authorDaniel Martí <mvdan@mvdan.cc>
Sat, 5 Jul 2014 12:04:51 +0000 (14:04 +0200)
committerDaniel Martí <mvdan@mvdan.cc>
Sat, 5 Jul 2014 12:04:51 +0000 (14:04 +0200)
commit8249324a7ba0e1d17821a0f176aa8c27e889ea40
treeb87df345afb20e8cbe9f98e718cbbaed98331921tree | snapshot
parent905e58f54c05de0672f8e463e94026bfe28c5debcommit | diff
Use counters in lint
fdroidserver/lint.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.