fixes & general optimisations

pelasgus · Jul 3, 2024 · 0910401 · 0910401
1 parent ee59f8f
commit 0910401
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 3 deletions.
diff --git a/.github/workflows/pdf-production.yml → .github/workflows/compile.yml b/.github/workflows/pdf-production.yml → .github/workflows/compile.yml
diff --git a/.github/workflows/todo.org b/.github/workflows/todo.org