diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-01-12 14:05:25 +0100 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2017-01-31 14:31:07 +0100 |
commit | 3cee0b5e38f05bd70bec9d2bb392acdbd4fe8052 (patch) | |
tree | f05f59ccae411d1909fc14aacbb8ad740769c778 /docs/docs/internals/type-system.md | |
parent | ab80297a30fc5942b811e9b6287230894361466e (diff) | |
download | dotty-3cee0b5e38f05bd70bec9d2bb392acdbd4fe8052.tar.gz dotty-3cee0b5e38f05bd70bec9d2bb392acdbd4fe8052.tar.bz2 dotty-3cee0b5e38f05bd70bec9d2bb392acdbd4fe8052.zip |
Port old site to dottydoc
Diffstat (limited to 'docs/docs/internals/type-system.md')
-rw-r--r-- | docs/docs/internals/type-system.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/docs/internals/type-system.md b/docs/docs/internals/type-system.md index e3a563c21..eda1cfbde 100644 --- a/docs/docs/internals/type-system.md +++ b/docs/docs/internals/type-system.md @@ -1,5 +1,5 @@ --- -layout: default +layout: doc-page title: "Type System" --- |