From 05fc5efc8265dc707286013a41618f4f99d78c83 Mon Sep 17 00:00:00 2001 From: Nathan McCarty Date: Mon, 14 Jul 2025 10:43:21 -0400 Subject: [PATCH] Add todo list --- projects/Idris/todo.org | 2 ++ 1 file changed, 2 insertions(+) diff --git a/projects/Idris/todo.org b/projects/Idris/todo.org index db18cee..02c54d0 100644 --- a/projects/Idris/todo.org +++ b/projects/Idris/todo.org @@ -3,3 +3,5 @@ ** TODO Switch to mastodon powered comments * Purely cosmetic improvements ** TODO Make blockquotes fancy +* ~blog~ functionality +** TODO Automate mastodon posting