From dd90100bfafb56b6ce953859ca91cb77b463185e Mon Sep 17 00:00:00 2001 From: 02090095 Date: Tue, 4 Feb 2025 23:47:15 +0300 Subject: [PATCH] no message --- .idea/workspace.xml | 11 +++++++-- properties | 2 +- .../Passes/All/CheckRegistrationOnServer.java | 12 ++++++---- .../Passes/All/ConvertCorrectnessTests.java | 24 +++++-------------- .../Passes/All/DeleteBugReportFromServer.java | 11 ++++----- .../All/DownloadAllBugReportsArchives.java | 16 +++++-------- .../Passes/Server/CloneServerObject.java | 2 ++ .../Passes/Server/RepositoryPass.java | 12 ---------- .../Repository/Server/ServerCode.java | 4 ++++ 9 files changed, 41 insertions(+), 53 deletions(-) diff --git a/.idea/workspace.xml b/.idea/workspace.xml index 0fd8dd88..701342a6 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -9,9 +9,16 @@ - - + + + + + + + + +