From 798a32b23e59b86550168733bfd3cd857c095589 Mon Sep 17 00:00:00 2001 From: Sebastian Lenzlinger Date: Tue, 7 May 2024 23:01:40 +0200 Subject: [PATCH] Remove ignored file from git. --- .gitignore | 1 + .idea/workspace.xml | 308 -------------------------------------------- 2 files changed, 1 insertion(+), 308 deletions(-) delete mode 100644 .idea/workspace.xml diff --git a/.gitignore b/.gitignore index a757a29..b79395f 100644 --- a/.gitignore +++ b/.gitignore @@ -2,3 +2,4 @@ venv __pycache__ *.log +.idea/ \ No newline at end of file diff --git a/.idea/workspace.xml b/.idea/workspace.xml deleted file mode 100644 index 1a2fa46..0000000 --- a/.idea/workspace.xml +++ /dev/null @@ -1,308 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - { - "associatedIndex": 3 -} - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 1713967494544 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - \ No newline at end of file