diff -r 000000000000 -r 676905a3b03c dejsem.1.5/android/dejsem.studio/local.properties
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/dejsem.1.5/android/dejsem.studio/local.properties	Wed Nov 27 09:50:16 2019 +0100
@@ -0,0 +1,8 @@
+## This file must *NOT* be checked into Version Control Systems,
+# as it contains information specific to your local configuration.
+#
+# Location of the SDK. This is only used by Gradle.
+# For customization when using a Version Control System, please read the
+# header note.
+#Thu Sep 06 12:44:08 CEST 2018
+sdk.dir=/home/L/_INFO/TECHNO/Android/sdk