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 eb4e08234e20fbee2b61ccebfb2727930292f725..27995532a5a30e211b5ec32b085814f49055a57b 100644
(file)
--- a/
personal/blog/index.html
+++ b/
personal/blog/index.html
@@
-1,12
+1,9
@@
---
---
-layout: default
+title: Ralf's Ramblings
+layout: page
slug: Blog
rss: true
sort: 10
---
slug: Blog
rss: true
sort: 10
---
-<header class="title">
-<h1>{{ site.blog.title }}</h1>
-</header>
-
{% include post-list.html posts=site.posts %}
{% include post-list.html posts=site.posts %}