From cad6ea8d3b8a7539abaa3da32c07aba7c72e88af Mon Sep 17 00:00:00 2001 From: 02090095 Date: Wed, 27 Mar 2024 00:28:04 +0300 Subject: [PATCH] =?UTF-8?q?=D0=98=D1=81=D0=BF=D1=80=D0=B0=D0=B2=D0=BB?= =?UTF-8?q?=D0=B5=D0=BD=D0=B8=D0=B5=20=D0=B1=D0=B0=D0=B3=D0=B0=20=D1=81=20?= =?UTF-8?q?=D0=BF=D1=80=D0=BE=D0=B1=D0=B5=D0=BB=D0=B0=D0=BC=D0=B8.=20v++?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .idea/workspace.xml | 4 ++++ properties | 2 +- .../Tasks/Supervisor/Remote/RemoteCompilationSupervisor.java | 2 +- src/Repository/Component/Visualiser.java | 2 +- src/TestingSystem/Common/TestingPlanner.java | 3 +-- src/TestingSystem/DVM/UserConnection.java | 2 +- 6 files changed, 9 insertions(+), 6 deletions(-) diff --git a/.idea/workspace.xml b/.idea/workspace.xml index 4c11f3cb..445cc032 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -8,6 +8,10 @@ + + + +