From c6d07d08403ef0a658bca65e94f1e1e5c7edd6fe Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Na=C3=AFm=20Favier?= Date: Mon, 18 Mar 2024 19:08:53 +0100 Subject: [PATCH] fix typo --- docs/config/en/mkdocs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/config/en/mkdocs.yml b/docs/config/en/mkdocs.yml index 71b0200f2..32f44759b 100644 --- a/docs/config/en/mkdocs.yml +++ b/docs/config/en/mkdocs.yml @@ -19,7 +19,7 @@ nav: - getting-started/index.md - Install: getting-started/install.md - Quickstart: getting-started/quickstart.rzk.md - - Depedent Types: getting-started/dependent-types.rzk.md + - Dependent Types: getting-started/dependent-types.rzk.md - Setting up an Rzk project: getting-started/project.md - Reference: - Introduction: reference/introduction.rzk.md