links to POPL'18 talk

[web.git] / personal / blog / archive.html

diff --git a/personal/blog/archive.html b/personal/blog/archive.html
index f6db232e05d46a3d9ead9416d03d451afae4c34a..78186ca6a4033a4f29ab30ea6da6a0a924388d52 100644 (file)
--- a/personal/blog/archive.html
+++ b/personal/blog/archive.html
@@ -1,6 +1,6 @@
 ---
-title: Archive
-pretitle: "Ralf's Ramblings"
+title: "Ralf's Ramblings: Archive"
+layout: page
 rss: true
 sort: 1
 hide: true