diff --git a/getting-started.html b/getting-started.html index a904b1d..1c0e0f7 100644 --- a/getting-started.html +++ b/getting-started.html @@ -91,7 +91,7 @@  |  Getting started  |  - Documentation + Documentation  |  IDE Extensions  |  diff --git a/ide-extensions/index.html b/ide-extensions/index.html index df15761..1278b1b 100644 --- a/ide-extensions/index.html +++ b/ide-extensions/index.html @@ -29,7 +29,7 @@  |  Getting started  |  - Documentation + Documentation  |  IDE Extensions  |  diff --git a/index.html b/index.html index 7435843..4815143 100644 --- a/index.html +++ b/index.html @@ -29,7 +29,7 @@  |  Getting started  |  - Documentation + Documentation  |  IDE Extensions  |  diff --git a/navigation.html b/navigation.html index d75464e..09c7449 100644 --- a/navigation.html +++ b/navigation.html @@ -7,7 +7,7 @@  |  Getting started  |  - Documentation + Documentation  |  IDE Extensions  |