From 92f4230f9f0ab1a7a2af7d6c97b6a3433429ee8f Mon Sep 17 00:00:00 2001 From: Griatch Date: Sat, 10 Jun 2023 18:24:17 +0200 Subject: [PATCH] Tweak devlog header --- devblog/2012.html | 2 +- devblog/2013.html | 2 +- devblog/2014.html | 2 +- devblog/2015.html | 2 +- devblog/2016.html | 2 +- devblog/2017.html | 2 +- devblog/2018.html | 2 +- devblog/2019.html | 2 +- devblog/2020.html | 2 +- devblog/2021.html | 2 +- devblog/2022.html | 2 +- devblog/2023.html | 2 +- devblog/_src/templates/blog.html | 2 +- devblog/feed.rss | 2 +- 14 files changed, 14 insertions(+), 14 deletions(-) diff --git a/devblog/2012.html b/devblog/2012.html index 456f38116b..00a0f7f5b0 100644 --- a/devblog/2012.html +++ b/devblog/2012.html @@ -12,7 +12,7 @@ -