From 1c334b12934f39dcc3e20a0d39bb434ddc065918 Mon Sep 17 00:00:00 2001
From: dotty-bot <felix.mulder@epfl.ch>
Date: Thu, 6 Apr 2017 07:41:39 +0000
Subject: Update gh-pages site for 2556c83a04af1baf9dd69f6139e9ea61d39e7c6a

---
 index.html | 1 +
 1 file changed, 1 insertion(+)

(limited to 'index.html')

diff --git a/index.html b/index.html
index 787bd058c..3146a5e38 100644
--- a/index.html
+++ b/index.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
-- 
cgit v1.2.3