chiark / gitweb /
lint: move punctuation warnings out of pedantic
authorDaniel Martí <mvdan@mvdan.cc>
Thu, 4 Jun 2015 13:45:33 +0000 (15:45 +0200)
committerDaniel Martí <mvdan@mvdan.cc>
Thu, 4 Jun 2015 13:45:33 +0000 (15:45 +0200)
commitce5922d0a186b0300a33a1feee65294055fa7a3a
tree06ba8ed8db6c7230cdf0fa1b6047a46ec0036641
parent184ae8e2f62a6855a0e19c0cb1f1addd3ba10da2
lint: move punctuation warnings out of pedantic
fdroidserver/lint.py