From 3433d0f8db49e393235c0a806bdde6e65bcf18b1 Mon Sep 17 00:00:00 2001
From: Zihao Yu <yuzihao@ict.ac.cn>
Date: Sat, 21 Aug 2021 15:30:29 +0800
Subject: [PATCH] remove unused file

---
 tools/.gitignore | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 tools/.gitignore

diff --git a/tools/.gitignore b/tools/.gitignore
deleted file mode 100644
index f81662e..0000000
--- a/tools/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-/export