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/internals/higher-kinded-v2.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/docs/internals/higher-kinded-v2.md') diff --git a/docs/docs/internals/higher-kinded-v2.md b/docs/docs/internals/higher-kinded-v2.md index 3019e3031..4676d3ebd 100644 --- a/docs/docs/internals/higher-kinded-v2.md +++ b/docs/docs/internals/higher-kinded-v2.md @@ -1,5 +1,5 @@ --- -layout: default +layout: doc-page title: "Higher-Kinded Types in Dotty" --- -- cgit v1.2.3