chiark / gitweb /
Move github .git lint warning to http_warnings
authorDaniel Martí <mvdan@mvdan.cc>
Wed, 3 Jun 2015 20:51:05 +0000 (22:51 +0200)
committerDaniel Martí <mvdan@mvdan.cc>
Wed, 3 Jun 2015 20:51:05 +0000 (22:51 +0200)
commit7018e32b2cb77ef1b8e7156f98816d9fbd325c0c
treee6a491de10b947fe6ab7d4b2b679dbdd6818b813
parent9061f71dc4a66e4a5ad36aefb76ed6063d748d7f
Move github .git lint warning to http_warnings
fdroidserver/lint.py