From 6cbe106641ce546c52517528c46357bbdbaa1a0c Mon Sep 17 00:00:00 2001
From: Arthur Chern <weirong.cwr@gmail.com>
Date: Sat, 18 Jun 2022 18:18:12 +0800
Subject: [PATCH] chore: add git ignore for dev tools

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index 9875179..d1a7d0a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -24,3 +24,6 @@ hs_err_pid*
 
 # Java build target
 target
+
+# dev tools
+.idea