diff --git a/scripts/lua/header_authenticated.lp b/scripts/lua/header_authenticated.lp index ff0e9334..869de61e 100644 --- a/scripts/lua/header_authenticated.lp +++ b/scripts/lua/header_authenticated.lp @@ -48,11 +48,10 @@ mg.include('header.lp','r')