chiark / gitweb /
jenkins-test: remove tmp hack now that androguard is available