3 commits

Author	SHA1	Message	Date
SpiritCroc	756529e565	Revert "Use Java 11 source code" ... This seems to break device compatibility with a ZTE Blade L3, Android 5.0.2, stock ROM - even though the Google Play Developer Console views the device as supported. Not sure how long we want to stick to Java 8, but we should at least give everyone who had v1.2.0 installed the chance to get to v1.2.2, to get a version with the recent security vulerability fix. This reverts commit 80f23f1f3c. Change-Id: If599d9154e9385a33f10b6df17469cd86deccb7b	2021-09-18 20:26:29 +02:00
Benoit Marty	80f23f1f3c	Use Java 11 source code ... https://developer.android.com/studio/releases/gradle-plugin#java-11	2021-09-02 09:50:34 +02:00
Valere	0b93f34fa0	Use diff_match_patch sources as dependency	2019-12-11 10:51:09 +01:00