From 3a718f12b433ef3980c8fc6e29957595110cd8f4 Mon Sep 17 00:00:00 2001 From: Elias Fleckenstein Date: Sun, 18 Oct 2020 12:54:08 +0200 Subject: Make lint happy; Remove stupid redirector --- src/script/lua_api/l_server.h | 3 --- 1 file changed, 3 deletions(-) (limited to 'src/script/lua_api/l_server.h') diff --git a/src/script/lua_api/l_server.h b/src/script/lua_api/l_server.h index 3b590af9d..938bfa8ef 100644 --- a/src/script/lua_api/l_server.h +++ b/src/script/lua_api/l_server.h @@ -96,9 +96,6 @@ private: // kick_player(name, [message]) -> success static int l_kick_player(lua_State *L); - - // redirect_player(name, address, port) -> success - static int l_redirect_player(lua_State *L); // remove_player(name) static int l_remove_player(lua_State *L); -- cgit v1.2.3