From 614a18cd05bda525f62310578115ecc6c41b7e09 Mon Sep 17 00:00:00 2001
From: ringabout <43030857+ringabout@users.noreply.github.com>
Date: Mon, 7 Aug 2023 15:49:30 +0800
Subject: [PATCH] Delete parse directory, which was pushed wrongly before
 [backport] (#22401)

Delete parse directory
---
 parse/pragmas.nim | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100644 parse/pragmas.nim

diff --git a/parse/pragmas.nim b/parse/pragmas.nim
deleted file mode 100644
index bf77a28420..0000000000
--- a/parse/pragmas.nim
+++ /dev/null
@@ -1,3 +0,0 @@
-# parse/pragmas.nim content
-
-proc foo*() = discard
\ No newline at end of file