chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc5d5cb) | patch
lint: exit with an error code if any errors are found
authorDaniel Martí <mvdan@mvdan.cc>
Thu, 30 Jul 2015 19:46:42 +0000 (12:46 -0700)
committerDaniel Martí <mvdan@mvdan.cc>
Thu, 30 Jul 2015 19:46:42 +0000 (12:46 -0700)
commitfd6e323ba96d0616f4a53d22ff63f1e643a73da0
treec9b5ce9392260dab6954d9124dcc4655a4b8daa5tree | snapshot
parentbc5d5cbd837df4b7bd3e5a1cfa21637ce28aaf64commit | diff
lint: exit with an error code if any errors are found
fdroidserver/lint.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.