doc(wiki)[tools]: fixed typos

discopop-project · Jan 10, 2024 · 13e962c · 13e962c
1 parent fa762dc
commit 13e962c
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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
@@ -5,7 +5,7 @@ parent: Tools
 nav_order: 5
 ---
 
-# DiscoPoP Optimizer
+# DiscoPoP optimizer
 ## Executable
 `discopop_optimizer`