chiark / gitweb /
lint: remove sets usage
authorDaniel Martí <mvdan@mvdan.cc>
Mon, 4 Jan 2016 16:40:21 +0000 (17:40 +0100)
committerDaniel Martí <mvdan@mvdan.cc>
Thu, 10 Mar 2016 16:43:37 +0000 (16:43 +0000)
commit2493e705f2a7ba9068492034b2f6b1f61a32032e
tree9cfe542e86338940abbae44bb862584577ebfd25
parentec301b8566f84fb7d4f02e91590db8e917951cb2
lint: remove sets usage
fdroidserver/lint.py