chiark / gitweb /
lint: be more strict about redundant summaries
authorDaniel Martí <mvdan@mvdan.cc>
Fri, 22 May 2015 07:33:15 +0000 (09:33 +0200)
committerDaniel Martí <mvdan@mvdan.cc>
Fri, 22 May 2015 07:33:15 +0000 (09:33 +0200)
commit7b0e8bd01d8b034bcafb9bc80d839f95fcbf0fe2
tree7bdae6c6d683ad02e9ef730a19744d3c4870aa41
parent550d907b8c32287aacf3a75acc9cbca7fc095cf2
lint: be more strict about redundant summaries
fdroidserver/lint.py