From bb8d733e1eb7bfbf3a2183380e12556d771474dd Mon Sep 17 00:00:00 2001 From: Levente Orban Date: Tue, 4 Apr 2017 08:41:31 +0200 Subject: [PATCH] Add GitHub ribbon to index.html 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 29960feea4..672759ab85 100644 --- a/_includes/header.html +++ b/_includes/header.html @@ -16,7 +16,6 @@ {% else %}
  • Home
  • {% endif %} -
  • View on Github
  • Powering IoT.js