From abd3f608219e0a283865b7490ff902750aaa6150 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Stefan=20Feje=C5=A1?= Date: Sat, 3 Mar 2018 11:50:12 +0100 Subject: [PATCH 1/3] add GitHub fancy ribbon --- index.html | 36 ++++++++++++++++++++++++++++++++++++ src/html/index.html | 1 + 2 files changed, 37 insertions(+) diff --git a/index.html b/index.html index 421176252..69b33b6b0 100644 --- a/index.html +++ b/index.html @@ -10,6 +10,42 @@ + + + +