From 13e962c94a6f55e10a7dc5c68d69116fbfc24d95 Mon Sep 17 00:00:00 2001 From: Lukas Rothenberger Date: Wed, 10 Jan 2024 10:52:17 +0100 Subject: [PATCH] doc(wiki)[tools]: fixed typos --- docs/tools/Config_provider.md | 2 +- docs/tools/Explorer.md | 2 +- docs/tools/Optimizer.md | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/tools/Config_provider.md b/docs/tools/Config_provider.md index 2347ff54c..bf8b6ad83 100644 --- a/docs/tools/Config_provider.md +++ b/docs/tools/Config_provider.md @@ -5,7 +5,7 @@ parent: Tools nav_order: 6 --- -# Config provied +# DiscoPoP config provider ## Executable `discopop_config_provider` diff --git a/docs/tools/Explorer.md b/docs/tools/Explorer.md index c6d1179ac..6fd88f3db 100644 --- a/docs/tools/Explorer.md +++ b/docs/tools/Explorer.md @@ -5,7 +5,7 @@ parent: Tools nav_order: 2 --- -# DiscoPoP Explorer +# DiscoPoP explorer ## Executable `discopop_explorer` diff --git a/docs/tools/Optimizer.md b/docs/tools/Optimizer.md index 43cd89903..6a00916a7 100644 --- a/docs/tools/Optimizer.md +++ b/docs/tools/Optimizer.md @@ -5,7 +5,7 @@ parent: Tools nav_order: 5 --- -# DiscoPoP Optimizer +# DiscoPoP optimizer ## Executable `discopop_optimizer`