From 25d9cb0365a702eaad21622f0bce42e9b99a7e19 Mon Sep 17 00:00:00 2001 From: Jakob Odersky Date: Wed, 16 Dec 2015 23:09:20 -0800 Subject: add url to nav header --- site/jekyll/_includes/header.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/site/jekyll/_includes/header.html b/site/jekyll/_includes/header.html index 51c1c7d..31d8820 100644 --- a/site/jekyll/_includes/header.html +++ b/site/jekyll/_includes/header.html @@ -3,7 +3,7 @@