From bef864d90c6cf1acee3a943990cc81c40255e4d5 Mon Sep 17 00:00:00 2001 From: Joao Moreno Date: Thu, 7 Jul 2016 08:51:44 +0200 Subject: [PATCH] add github link to header --- website/index.html | 1 + 1 file changed, 1 insertion(+) diff --git a/website/index.html b/website/index.html index 7a9111f3..52ea332f 100644 --- a/website/index.html +++ b/website/index.html @@ -35,6 +35,7 @@