projects
/
web.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
add Coq typeclass index problem draft
[web.git]
/
personal
/
blog
/
index.html
diff --git
a/personal/blog/index.html
b/personal/blog/index.html
index f85ed560a05fb5ccd2ab389936acb4c31e12747d..27995532a5a30e211b5ec32b085814f49055a57b 100644
(file)
--- a/
personal/blog/index.html
+++ b/
personal/blog/index.html
@@
-1,5
+1,6
@@
---
---
-vars: blog-index.html
+title: Ralf's Ramblings
+layout: page
slug: Blog
rss: true
sort: 10
slug: Blog
rss: true
sort: 10