Dominique 6ce5505f1f Merge branch 'master' into android		2018-07-18 20:49:11 +02:00
..
src/main	Merge branch 'master' into android	2018-07-18 20:49:11 +02:00
pom.xml	set version to 0.2-android-beta8	2018-07-16 12:12:49 +02:00