chiark / gitweb /
lint: catch more duplicate links
authorDaniel Martí <mvdan@mvdan.cc>
Sat, 12 Sep 2015 06:30:59 +0000 (23:30 -0700)
committerDaniel Martí <mvdan@mvdan.cc>
Sat, 12 Sep 2015 06:30:59 +0000 (23:30 -0700)
commitecad89dc059bcb06a276f786ccb60e327e23f587
treec1c94a1f11c64516ddfa73bee7ea30a7afcb7e28
parent3638acddc4ed51dbd7563fd4038f37df3eb75829
lint: catch more duplicate links
fdroidserver/lint.py