From d363400d6ee5c8db0ed36bee1c6c0ba30aaedf75 Mon Sep 17 00:00:00 2001
From: Davide Depau
Date: Tue, 4 Dec 2018 12:05:29 +0100
Subject: [PATCH] Add repo link to sidebar
---
docs/_includes/sidebar.html | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/docs/_includes/sidebar.html b/docs/_includes/sidebar.html
index a5446c0..2d09511 100644
--- a/docs/_includes/sidebar.html
+++ b/docs/_includes/sidebar.html
@@ -19,7 +19,9 @@
{{ site.description }}
-
+
+
+