chiark / gitweb /
lint: Wallpaper is now called Theming
authorDaniel Martí <mvdan@mvdan.cc>
Sun, 30 Aug 2015 00:56:45 +0000 (17:56 -0700)
committerDaniel Martí <mvdan@mvdan.cc>
Sun, 30 Aug 2015 00:56:45 +0000 (17:56 -0700)
commit3a331c5be194b092492daaf07928afff2681ae85
tree7ee481c6c6dd8a333c03c90b67a2a45b735cffaf
parent518ba10b9f7aa2f37f13cc0d6ccde0ba8c471d8a
lint: Wallpaper is now called Theming
fdroidserver/lint.py