From e6f81b52b272776ce78963575740845c8bd5eddc Mon Sep 17 00:00:00 2001
From: Jakob Odersky <jakob@odersky.com>
Date: Mon, 22 Oct 2018 17:15:36 -0700
Subject: Fix 404 page

---
 404.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/404.html b/404.html
index 19e4cfa..6dddaa6 100644
--- a/404.html
+++ b/404.html
@@ -1,8 +1,9 @@
 ---
 layout: empty
 title: 404 - Not Found
+permalink: /404.html
 ---
 <div class="text-center">
 	<h1>404</h1>
 	<p>The requested page does not exist. Return to <a href="/">main site</a>.</p>
-<div>
\ No newline at end of file
+<div>
-- 
cgit v1.2.3