diff options
author | Daniel Gultsch <daniel@gultsch.de> | 2014-11-04 17:59:26 +0100 |
---|---|---|
committer | Daniel Gultsch <daniel@gultsch.de> | 2014-11-04 17:59:26 +0100 |
commit | ff22f93185264f2153b5a5cd48538d752849b668 (patch) | |
tree | 0c784710b664e7f5ff03c1fb3047ed92b2f078f1 /src/main/res/xml/preferences.xml | |
parent | cd5a56e8e795e76f9cc775e2d213fafc1155c2e7 (diff) | |
parent | b234b690c998295651164b74ec7418185648784f (diff) |
Merge pull request #625 from SamWhited/linterfix
Make linter ignore properly checked API mismatch
Diffstat (limited to 'src/main/res/xml/preferences.xml')
0 files changed, 0 insertions, 0 deletions