From 9a8b96d9118722392dd83e233e4b1a8cfa18fd1d Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Fri, 24 Feb 2023 16:02:59 +0100 Subject: [PATCH] Add openmandriva to the ignore list --- docs/src/installation.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/src/installation.md b/docs/src/installation.md index 6baea3441..d08376578 100644 --- a/docs/src/installation.md +++ b/docs/src/installation.md @@ -1,4 +1,4 @@ - + # Installation