chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5f894f1) | patch
lint: get rid of -p/--pedantic
authorDaniel Martí <mvdan@mvdan.cc>
Sun, 7 Jun 2015 12:05:29 +0000 (14:05 +0200)
committerDaniel Martí <mvdan@mvdan.cc>
Sun, 7 Jun 2015 12:05:29 +0000 (14:05 +0200)
commitd0a10e05d9c2cb5a4b6e30630a0a7d1db3befd78
tree1f139275bdc43ba86c363ef6040b71ae357e02a2tree | snapshot
parent5f894f1d388830f201cc03c750db4c8ea7e48897commit | diff
lint: get rid of -p/--pedantic

Only one check was left, and it's of little use anyway.
completion/bash-completion diff | blob | history
fdroidserver/lint.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.