diff options
Diffstat (limited to 'docs/docs/contributing/eclipse.md')
| -rw-r--r-- | docs/docs/contributing/eclipse.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/docs/contributing/eclipse.md b/docs/docs/contributing/eclipse.md index 0e4125df0..a7deab804 100644 --- a/docs/docs/contributing/eclipse.md +++ b/docs/docs/contributing/eclipse.md @@ -1,6 +1,6 @@ --- -layout: default -title: "Building Dotty with Eclipse" +layout: doc-page +title: Building Dotty with Eclipse --- Build setup |