From 3d37c7243195344975a7c70123ef3fae8969d4f7 Mon Sep 17 00:00:00 2001
From: Michel Roegl-Brunner
 <73236783+michelroegl-brunner@users.noreply.github.com>
Date: Thu, 15 May 2025 12:58:46 +0200
Subject: [PATCH] Updated tools.func (markdown)

---
 tools.func.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools.func.md b/tools.func.md
index 6f84cc8..00586af 100644
--- a/tools.func.md
+++ b/tools.func.md
@@ -71,6 +71,7 @@ PG_VERSION=15 install_postgresql
 
 ### Description
 
+`install_mariadb()`:
 
 - Detecting the current version of MariaDB (if installed)
 - Upgrading to the latest version if needed