Jan Mulder 6ea50fcfb7 Android build: set newer versions and parameterize ANDROID_PLATFORM ... Hard coding desired ANDROID_PLATFORM on multiple places is simply bad. Fix this. Further, set the variables to a much newer state. CAVEAT: this will likely break android build, so be careful on bisecting. All fixed in next, related commits. Signed-off-by: Jan Mulder <jlmulder@xs4all.nl>		2018-12-30 11:20:34 -08:00
..
res	Use hex USB VID/PID	2018-08-12 15:37:21 -07:00
src/org/subsurfacedivelog/mobile	Whitespace cleanup, extra braces, and null checks	2018-08-11 11:14:22 -07:00
AndroidManifest.xml	Android build: set newer versions and parameterize ANDROID_PLATFORM	2018-12-30 11:20:34 -08:00
build.gradle	Android build: use our own gradle build spec	2018-12-12 12:25:35 +09:00