From 2b5dcf12d78b8b30c22dafcd222e57796d12c004 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Sun, 12 May 2024 13:50:29 -0700 Subject: [PATCH] Rename the SPA intro to have a specific name Signed-off-by: Danila Fedorin --- content/blog/{00_spa_agda.md => 00_spa_agda_intro.md} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename content/blog/{00_spa_agda.md => 00_spa_agda_intro.md} (100%) diff --git a/content/blog/00_spa_agda.md b/content/blog/00_spa_agda_intro.md similarity index 100% rename from content/blog/00_spa_agda.md rename to content/blog/00_spa_agda_intro.md