add my POPL20 papers

[web.git] / ralf / _includes / post-header.html

diff --git a/ralf/_includes/post-header.html b/ralf/_includes/post-header.html
index 6163cf5be14061788a762c36a9bb7c163fc6fbac..1638d59a0536b3da132c5acdc92b335b97042510 100644 (file)
--- a/ralf/_includes/post-header.html
+++ b/ralf/_includes/post-header.html
@@ -1 +1,6 @@
-<div class="side">{{ include.item.date | date: "%b %-d, %Y" }}{% if include.item.author %} • {{ include.item.author }}{% endif %}{% if include.item.meta %} • {{ include.item.meta }}{% endif %} • <a href="{{ include.item.url }}">Permalink</a></div>
+{{ include.item.date | date: "%b %-d, %Y" }}
+{% if include.item.author %} • {{ include.item.author }}{% endif %}
+{% if include.item.meta %} • {{ include.item.meta }}{% endif %}
+{% if include.item.categories %}  • {{ include.item.categories | category_links }}{% endif %}
+ • <a href="https://git.ralfj.de/web.git/history/refs/heads/master:/ralf/{{include.item.path}}">Edits</a>
+ • <a href="{{ include.item.url }}">Permalink</a>