From 3cee0b5e38f05bd70bec9d2bb392acdbd4fe8052 Mon Sep 17 00:00:00 2001 From: Felix Mulder Date: Thu, 12 Jan 2017 14:05:25 +0100 Subject: Port old site to dottydoc --- docs/docs/contributing/eclipse.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/docs/contributing/eclipse.md') 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 -- cgit v1.2.3