From a01526990aa5186188315fb6a2fe5fbc87ff0e75 Mon Sep 17 00:00:00 2001 From: Alexandr Evstigneev Date: Tue, 20 Feb 2024 09:09:29 +0400 Subject: [PATCH] Release 2023.3.1 --- .idea/encodings.xml | 2 +- gradle.properties | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.idea/encodings.xml b/.idea/encodings.xml index 29d73a76b8..4e47717d50 100644 --- a/.idea/encodings.xml +++ b/.idea/encodings.xml @@ -1,6 +1,6 @@ - + diff --git a/gradle.properties b/gradle.properties index 776b66debf..b95fc6f95b 100644 --- a/gradle.properties +++ b/gradle.properties @@ -22,7 +22,7 @@ platformBranch=.3 platformBuild= pluginVersion=2023 pluginBranch= -pluginBuild= +pluginBuild=.1 pycharmVersion=192.4787.5-EAP-SNAPSHOT clionVersion=192.4787.12-EAP-SNAPSHOT psiViewerVersion=233.2