From 83fcfb090cff03b3c0eb7e1f8bd13cc56af14c22 Mon Sep 17 00:00:00 2001
From: Hong-Phuc Bui <hong-phuc.bui@htwsaar.de>
Date: Wed, 17 May 2023 22:12:04 +0200
Subject: [PATCH] re-remove docs and dist

---
 .gitignore |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)

diff --git a/.gitignore b/.gitignore
index 4416417..9c040f8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,3 +2,6 @@
 .nyc_output/
 coverage/
 .cache/
+docs
+dist
+.idea
\ No newline at end of file

--
Gitblit v1.10.0-SNAPSHOT