diff --git a/ProposedProblems b/ProposedProblems
deleted file mode 100644
index 8b137891791fe96927ad78e64b0aad7bded08bdc..0000000000000000000000000000000000000000
--- a/ProposedProblems
+++ /dev/null
@@ -1 +0,0 @@
-