From ae0fcf3a4208401f5dc0296c29227a55f63163da Mon Sep 17 00:00:00 2001 From: Markus Heiser Date: Wed, 16 Jul 2025 15:47:36 +0200 Subject: [chore] overdue maintenance of shell scripts Removes obsolete scripts and fix various leftovers. Signed-off-by: Markus Heiser --- docs/dev/index.rst | 1 - 1 file changed, 1 deletion(-) (limited to 'docs/dev/index.rst') diff --git a/docs/dev/index.rst b/docs/dev/index.rst index 6d601d166..82670284b 100644 --- a/docs/dev/index.rst +++ b/docs/dev/index.rst @@ -17,7 +17,6 @@ Developer documentation plugins/index answerers/index translation - lxcdev makefile reST searxng_extra/index -- cgit v1.2.3