chiark / gitweb /
Merge branch 'warn_on_aar' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Tue, 12 Sep 2017 15:29:29 +0000 (15:29 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Tue, 12 Sep 2017 15:29:29 +0000 (15:29 +0000)
commit7513432a412f321cc0c9fad53e5c9c935b9dda80
tree9ca05e08ac54f07a6157bf1d44a3d2a7b40c6fd7
parent9461dd0f3d89d248e8f0bbcf31d48329c16680a9
parentaf2eb2bd50e4afde948b689a97a29832041c23e8
Merge branch 'warn_on_aar' into 'master'

scanner: warn on aar files

See merge request !332