From 7fdbc991f1766b73b60a4d5a401c479402b22f01 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sebastian=20M=C3=BCller?= Date: Wed, 29 Mar 2023 18:35:31 +0200 Subject: [PATCH] Delete superfluous gitignore I want to trigger a push :-) --- .idea/.gitignore | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 .idea/.gitignore diff --git a/.idea/.gitignore b/.idea/.gitignore deleted file mode 100644 index b58b603..0000000 --- a/.idea/.gitignore +++ /dev/null @@ -1,5 +0,0 @@ -# Default ignored files -/shelf/ -/workspace.xml -# Editor-based HTTP Client requests -/httpRequests/