projects
/
web.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
we dont actually have an appendix for the refinement paper
[web.git]
/
personal
/
blog
/
archive.html
diff --git
a/personal/blog/archive.html
b/personal/blog/archive.html
index e867f3fe7a4f3171923cffeb346d34c68f18625e..78186ca6a4033a4f29ab30ea6da6a0a924388d52 100644
(file)
--- a/
personal/blog/archive.html
+++ b/
personal/blog/archive.html
@@
-1,10
+1,11
@@
---
-title:
Archive
-vars: blog-page.html
+title:
"Ralf's Ramblings: Archive"
+layout: page
rss: true
sort: 1
hide: true
---
+
<p>Here you can find direct links to all my blog posts.</p>
<ul class="post-list">