diff options
Diffstat (limited to 'docs/docs/index.md')
-rw-r--r-- | docs/docs/index.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/docs/index.md b/docs/docs/index.md index 0d9bc6b6f..4ee381812 100644 --- a/docs/docs/index.md +++ b/docs/docs/index.md @@ -1,5 +1,5 @@ --- -layout: default +layout: doc-page title: "Dotty Documentation" --- |