chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bad611c) | patch
lint: complain about UCMs that haven't been used
authorDaniel Martí <mvdan@mvdan.cc>
Wed, 5 Aug 2015 17:52:53 +0000 (10:52 -0700)
committerDaniel Martí <mvdan@mvdan.cc>
Wed, 5 Aug 2015 17:52:53 +0000 (10:52 -0700)
commit9fc583289e8ce86c69a428f97067afac8098d194
tree751a5fadcc23f805001a91d97ba9c3202c4d55d9tree | snapshot
parentbad611ce5a3b4d1c2cd72a300da56979e1605d90commit | diff
lint: complain about UCMs that haven't been used

Mainly for MRs from people who don't fill the automatic fields
fdroidserver/lint.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.