chiark / gitweb /
lint: switch links to plain URLS rather than mediawiki syntax
authorHans-Christoph Steiner <hans@eds.org>
Mon, 4 Dec 2017 19:33:42 +0000 (20:33 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Wed, 6 Dec 2017 08:54:25 +0000 (09:54 +0100)
commit42a983353691790840dd28de3cfa5dbebd6f1365
treec1a787a33341f867a58c090104c8266ccbe549e8
parent8588b89efff3ffd3c2540d5b11af65a2f6c2e187
lint: switch links to plain URLS rather than mediawiki syntax

fdroidclient#1000
fdroidserver/lint.py