chiark / gitweb /
Error if any scanignore/delete paths are useless
authorDaniel Martí <mvdan@mvdan.cc>
Tue, 6 Jan 2015 13:37:13 +0000 (14:37 +0100)
committerDaniel Martí <mvdan@mvdan.cc>
Tue, 6 Jan 2015 13:37:13 +0000 (14:37 +0100)
commit347ff7b876d5908fd5306ed4755bd3410aa46409
tree579737818f62e04210945f80affd46e1da89934e
parent0ffc53fa9a499647de819b6ac1418f137a2abe14
Error if any scanignore/delete paths are useless
fdroidserver/common.py