From d75eb7f06777aa89e4723f422b7cf257767da1fc Mon Sep 17 00:00:00 2001
From: Sanjit Bhat <sanjit.bhat@gmail.com>
Date: Thu, 15 Aug 2024 16:18:33 -0400
Subject: [PATCH] rm old ProofMode.md file

---
 ProofMode.md | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 ProofMode.md

diff --git a/ProofMode.md b/ProofMode.md
deleted file mode 100644
index 97bb1b693..000000000
--- a/ProofMode.md
+++ /dev/null
@@ -1 +0,0 @@
-This file has [moved](docs/proof_mode.md).
-- 
GitLab