diff --git a/dmoj/repo b/dmoj/repo deleted file mode 160000 index 724af7e..0000000 --- a/dmoj/repo +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 724af7ef77f54927b8f12e656b6c841de2e8e5b7