From 24a5e1befc2ccb56d87fc5e130c6aace5c71ac57 Mon Sep 17 00:00:00 2001 From: Default Date: Tue, 1 Mar 2022 18:24:59 +0100 Subject: [PATCH] added workspace --- .idea/misc.xml | 2 +- .idea/workspace.xml | 150 ++++++++++++++++++++++++--------------- scripts/deploy.bat | 1 - scripts/deploy.py | 3 + scripts/deploy.sh | 1 - scripts/start_server.bat | 2 - scripts/start_server.py | 3 + scripts/start_server.sh | 2 - 8 files changed, 101 insertions(+), 63 deletions(-) delete mode 100644 scripts/deploy.bat create mode 100644 scripts/deploy.py delete mode 100644 scripts/deploy.sh delete mode 100644 scripts/start_server.bat create mode 100644 scripts/start_server.py delete mode 100644 scripts/start_server.sh diff --git a/.idea/misc.xml b/.idea/misc.xml index f162285..c8bca51 100644 --- a/.idea/misc.xml +++ b/.idea/misc.xml @@ -12,7 +12,7 @@ - + \ No newline at end of file diff --git a/.idea/workspace.xml b/.idea/workspace.xml index aae69bb..d219da4 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -4,19 +4,34 @@ - - - + + + + + + + + + + + + + + - - + + + + + - + - + - - - - - - - - + + - - - - - @@ -127,7 +148,7 @@ - + 1646132522396 @@ -136,7 +157,21 @@ - @@ -144,13 +179,16 @@ -