diff --git a/scripts/lua/header_authenticated.lp b/scripts/lua/header_authenticated.lp index c648184c..9f97f36a 100644 --- a/scripts/lua/header_authenticated.lp +++ b/scripts/lua/header_authenticated.lp @@ -65,31 +65,41 @@ mg.include('header.lp','r') -