From e1b2c2026b57d328607909ea76ed8d77ea1e9f2b Mon Sep 17 00:00:00 2001
From: encinass1u <jessica-maria.encinas-silvas4@etu.univ-lorraine.fr>
Date: Tue, 17 May 2022 16:03:03 +0000
Subject: [PATCH] Delete Proving

---
 Proving | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 Proving

diff --git a/Proving b/Proving
deleted file mode 100644
index 600b582..0000000
--- a/Proving
+++ /dev/null
@@ -1 +0,0 @@
-Proving
-- 
GitLab