From f6ebb5614b2fefac273fefc5a34751275aca503a Mon Sep 17 00:00:00 2001 From: Sander Hautvast Date: Tue, 6 Feb 2024 10:24:23 +0100 Subject: [PATCH] Rename proof to proof.md --- Sectraining/{proof => proof.md} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename Sectraining/{proof => proof.md} (100%) diff --git a/Sectraining/proof b/Sectraining/proof.md similarity index 100% rename from Sectraining/proof rename to Sectraining/proof.md