ignacio
diff --git a/‎.travis/platform.sh
-15 b/‎.travis/platform.sh
-15
diff --git a/‎.travis/setenv_lua.sh
-7 b/‎.travis/setenv_lua.sh
-7
diff --git a/‎.travis/setup_lua.sh
-122 b/‎.travis/setup_lua.sh
-122