chiark / gitweb /
lint: Remove NOP
authorDaniel Martí <mvdan@mvdan.cc>
Sun, 19 Apr 2015 15:04:34 +0000 (17:04 +0200)
committerDaniel Martí <mvdan@mvdan.cc>
Sun, 19 Apr 2015 15:04:34 +0000 (17:04 +0200)
commit74f12ab64108414f8fe4d7c11448c56bfd183a07
treea367418cb98a45c175bc7a1b06115238350de043
parent1af774811d71e31b7545810086e5d645314e0a3a
lint: Remove NOP
fdroidserver/lint.py