chiark / gitweb /
lint: Remove duplicate code.google.com TODO
authorDaniel Martí <mvdan@mvdan.cc>
Thu, 4 Jun 2015 13:46:54 +0000 (15:46 +0200)
committerDaniel Martí <mvdan@mvdan.cc>
Thu, 4 Jun 2015 13:46:54 +0000 (15:46 +0200)
commit46adf486c9ee8caa3ad7710e7cf3d4d927c0a0be
tree1ee67d68ef598082cb231927300714ccb95faee9
parentce5922d0a186b0300a33a1feee65294055fa7a3a
lint: Remove duplicate code.google.com TODO
fdroidserver/lint.py