1 files changed, 0 insertions, 3 deletions

diff --git a/dummy.c b/dummy.c
deleted file mode 100644
index 061ed7eef..000000000
--- a/dummy.c
+++ /dev/null
@@ -1,3 +0,0 @@
-int main(void) {
-        return 0;
-}