Sylvain 3243ae52e7 Android: fix lint warning "unneed cast to Activity" il y a 2 semaines
..
java 3243ae52e7 Android: fix lint warning "unneed cast to Activity" il y a 2 semaines
res 8f88c32ca6 android: Default to custom theme in styles.xml il y a 1 an
AndroidManifest.xml 26d6352500 Fixed bug #13794: prevent to use the onBackPressed callback API that is enabled on API36 il y a 8 mois