aboutsummaryrefslogtreecommitdiff
path: root/404.html
diff options
context:
space:
mode:
authorJakob Odersky <jakob@odersky.com>2018-11-16 15:34:49 -0800
committerJakob Odersky <jakob@odersky.com>2018-11-16 15:36:36 -0800
commit14da66191f12755de633fe839aadd6bb2f09fd57 (patch)
tree44109e3f730c4c13e92d8d563ef586d1c3564e85 /404.html
parentadf0a539034a167f86200c19eec36c42f0a3e01d (diff)
parente6f81b52b272776ce78963575740845c8bd5eddc (diff)
downloadwebsite-14da66191f12755de633fe839aadd6bb2f09fd57.tar.gz
website-14da66191f12755de633fe839aadd6bb2f09fd57.tar.bz2
website-14da66191f12755de633fe839aadd6bb2f09fd57.zip
Merge branch 'master' of github.com:jodersky/jodersky.github.io
Diffstat (limited to '404.html')
-rw-r--r--404.html3
1 files changed, 2 insertions, 1 deletions
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>