diff --git a/restart-worldserver.sh b/restart-worldserver.sh old mode 100644 new mode 100755 diff --git a/tools/diff_classic_turtle_opcodes.py b/tools/diff_classic_turtle_opcodes.py old mode 100644 new mode 100755 diff --git a/tools/gen_opcode_registry.py b/tools/gen_opcode_registry.py old mode 100644 new mode 100755 diff --git a/tools/m2_viewer.py b/tools/m2_viewer.py old mode 100644 new mode 100755 diff --git a/tools/opcode_map_utils.py b/tools/opcode_map_utils.py old mode 100644 new mode 100755 diff --git a/tools/validate_opcode_maps.py b/tools/validate_opcode_maps.py old mode 100644 new mode 100755