From ff2245240c6220f6a8586fa538e77a535d98d5e3 Mon Sep 17 00:00:00 2001 From: cyberman54 Date: Thu, 29 Aug 2024 14:17:03 +0200 Subject: [PATCH] v1.6.2 --- manifest.xml | 5 +++++ monkey.jungle | 3 +-- resources/settings/properties.xml | 2 +- 3 files changed, 7 insertions(+), 3 deletions(-) diff --git a/manifest.xml b/manifest.xml index d0de429..7b7e408 100644 --- a/manifest.xml +++ b/manifest.xml @@ -59,6 +59,11 @@ + + + + + diff --git a/monkey.jungle b/monkey.jungle index ceba244..6072806 100644 --- a/monkey.jungle +++ b/monkey.jungle @@ -1,4 +1,3 @@ project.manifest = manifest.xml -project.typecheck = 0 -#project.typecheck = 3 +project.typecheck = 3 project.optimization = 3z \ No newline at end of file diff --git a/resources/settings/properties.xml b/resources/settings/properties.xml index 4b5610a..5b30fd5 100644 --- a/resources/settings/properties.xml +++ b/resources/settings/properties.xml @@ -1,5 +1,5 @@ - 1.6.1 + 1.6.2 false false 10