From b7ece93a4b753b8e21b3b69c6b0715edee4928f8 Mon Sep 17 00:00:00 2001 From: udomai <67792088+udomai@users.noreply.github.com> Date: Sun, 16 Feb 2025 00:59:31 +0100 Subject: [PATCH] Rename proof_testing_agent_french. to proof_testing_agent_french.ipynb Fix incomplete extension; this causes errors when pulling to local clones --- ...oof_testing_agent_french. => proof_testing_agent_french.ipynb} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename week2/community-contributions/{proof_testing_agent_french. => proof_testing_agent_french.ipynb} (100%) diff --git a/week2/community-contributions/proof_testing_agent_french. b/week2/community-contributions/proof_testing_agent_french.ipynb similarity index 100% rename from week2/community-contributions/proof_testing_agent_french. rename to week2/community-contributions/proof_testing_agent_french.ipynb