From 957bd3edccdfbffcc4b28b8e0d55699c5d5c3596 Mon Sep 17 00:00:00 2001 From: Levente Orban Date: Fri, 7 Apr 2017 08:26:23 +0200 Subject: [PATCH] Add GitHub ribbon to index.html (#1712) JerryScript-DCO-1.0-Signed-off-by: Levente Orban orbanl@inf.u-szeged.hu --- _includes/header.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_includes/header.html b/_includes/header.html index 29960feea..672759ab8 100644 --- a/_includes/header.html +++ b/_includes/header.html @@ -16,7 +16,6 @@ {% else %}
  • Home
  • {% endif %} -
  • View on Github
  • Powering IoT.js