From 194b03fc5ff6b54bd2864e7d11fea980f6b097ec Mon Sep 17 00:00:00 2001
From: Henning Peters <pete@dexterslab.de>
Date: Thu, 3 Dec 2015 20:01:27 +0100
Subject: [PATCH] trailing slash for home

---
 website/src/jade/header.jade | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/website/src/jade/header.jade b/website/src/jade/header.jade
index 18e9a7370..32deb5a6d 100644
--- a/website/src/jade/header.jade
+++ b/website/src/jade/header.jade
@@ -27,7 +27,7 @@
 -    Page.active[type] = true;
 -    Page.links = [];
 -    if (type == "home") {
--       Page.url = "";
+-       Page.url = "/";
 -    } else {
 -       Page.url = "/" + type;
 -    }