From 1d1ff1431d32342c34f0ac78a8084de0520f90cb Mon Sep 17 00:00:00 2001
From: Zihao Yu <yuzihao@ict.ac.cn>
Date: Sat, 19 Dec 2020 13:22:45 +0800
Subject: [PATCH] tools: add gitignore for export/

---
 tools/.gitignore | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 tools/.gitignore

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