From 4e0d9bde703e592c6752734d1ea656723f189318 Mon Sep 17 00:00:00 2001
From: Stefan Regnery <stefan@regnery.biz>
Date: Sat, 16 Sep 2023 15:51:17 +0200
Subject: [PATCH] add git ignore

---
 .idea/.gitignore | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 .idea/.gitignore

diff --git a/.idea/.gitignore b/.idea/.gitignore
new file mode 100644
index 0000000..26d3352
--- /dev/null
+++ b/.idea/.gitignore
@@ -0,0 +1,3 @@
+# Default ignored files
+/shelf/
+/workspace.xml