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/_layouts/default.html | 61 ---------------------------------------------- 1 file changed, 61 deletions(-) delete mode 100644 docs/_layouts/default.html (limited to 'docs/_layouts/default.html') diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html deleted file mode 100644 index 6fa1a1d78..000000000 --- a/docs/_layouts/default.html +++ /dev/null @@ -1,61 +0,0 @@ - - - - - Dotty - {{ page.title }} - - - - - -

- -

- [edit on github] -

- {{ content }} -

- {% include toc.html %} -

- - - - - -- cgit v1.2.3