chiark / gitweb /
jni problem is critical, so make it an error
authorDaniel Martí <mvdan@mvdan.cc>
Sat, 7 Jun 2014 22:38:11 +0000 (00:38 +0200)
committerDaniel Martí <mvdan@mvdan.cc>
Sat, 7 Jun 2014 22:38:11 +0000 (00:38 +0200)
commit7d8e9bbcaa63038d097f094d698f540019531a1a
tree268e232e53656c3caa4808f87d2c0d7f79332b27
parentb86bfb94fb0304d69aa505133d48f2fb6d795732
jni problem is critical, so make it an error
fdroidserver/common.py