From aa9873108442c85b2cccb085d2ec19c0da8a5bb9 Mon Sep 17 00:00:00 2001 From: yubiuser Date: Sun, 11 May 2025 13:24:21 +0200 Subject: [PATCH] Add hint about wildcard search in advanced query filtering Signed-off-by: yubiuser --- queries.lp | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/queries.lp b/queries.lp index 05354259..9a39b47a 100644 --- a/queries.lp +++ b/queries.lp @@ -72,7 +72,7 @@ mg.include('scripts/lua/header_authenticated.lp','r')
- + @@ -80,7 +80,7 @@ mg.include('scripts/lua/header_authenticated.lp','r')
- + @@ -88,7 +88,7 @@ mg.include('scripts/lua/header_authenticated.lp','r')
- + @@ -96,7 +96,7 @@ mg.include('scripts/lua/header_authenticated.lp','r')
- + @@ -138,6 +138,7 @@ mg.include('scripts/lua/header_authenticated.lp','r')