chiark / gitweb /
Handle dirs to be ignored in scan_source more gracefully
authorDaniel Martí <mvdan@mvdan.cc>
Wed, 29 Jan 2014 23:16:03 +0000 (00:16 +0100)
committerDaniel Martí <mvdan@mvdan.cc>
Wed, 29 Jan 2014 23:16:03 +0000 (00:16 +0100)
commit1b0fb05337f7498c93302317d1be7751fdd62339
tree6d4e8de7b994b72d9495eb76772c6bf36c492e5a
parent3f47b4914dd2e2f1d80c8c7472d768def2af9e0b
Handle dirs to be ignored in scan_source more gracefully
fdroidserver/common.py