From b08a779f2ec38b71b08b668e830dc9f4b6d9d05f Mon Sep 17 00:00:00 2001 From: Markus Heiser Date: Fri, 19 Aug 2022 10:00:50 +0200 Subject: [PATCH] make pygments.less Signed-off-by: Markus Heiser --- searx/static/themes/simple/src/generated/pygments.less | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/searx/static/themes/simple/src/generated/pygments.less b/searx/static/themes/simple/src/generated/pygments.less index 2e8213c2c..b016e97f9 100644 --- a/searx/static/themes/simple/src/generated/pygments.less +++ b/searx/static/themes/simple/src/generated/pygments.less @@ -1,6 +1,6 @@ /* this file is generated automatically by searxng_extra/update/update_pygments.py - using pygments version 2.12.0 + using pygments version 2.13.0 */ .code-highlight .linenos {