From 92d0584498e663a654f584e541a0d8c552ce904d Mon Sep 17 00:00:00 2001 From: Dimitris Zlatanidis Date: Thu, 15 Jun 2023 09:54:12 +0300 Subject: [PATCH] Updated for issues --- .idea/inspectionProfiles/Project_Default.xml | 1 + .idea/workspace.xml | 3 ++- docs/issues.md | 12 +++++++++++- 3 files changed, 14 insertions(+), 2 deletions(-) diff --git a/.idea/inspectionProfiles/Project_Default.xml b/.idea/inspectionProfiles/Project_Default.xml index 90e0261f..008362ff 100644 --- a/.idea/inspectionProfiles/Project_Default.xml +++ b/.idea/inspectionProfiles/Project_Default.xml @@ -39,6 +39,7 @@ diff --git a/.idea/workspace.xml b/.idea/workspace.xml index 95fa2c99..df364c8f 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -8,8 +8,9 @@ + - +