From 2ffc7cfaf05217394708d2c00ab85ab07663d03c Mon Sep 17 00:00:00 2001
From: Felix Mulder <felix.mulder@gmail.com>
Date: Fri, 7 Oct 2016 14:35:35 +0200
Subject: Migrate dotty.epfl.ch to static site in repository

---
 docs/index.html | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 docs/index.html

(limited to 'docs/index.html')

diff --git a/docs/index.html b/docs/index.html
new file mode 100644
index 000000000..f6278f0f8
--- /dev/null
+++ b/docs/index.html
@@ -0,0 +1,3 @@
+---
+layout: index
+---
-- 
cgit v1.2.3