Merge pull request #20 from mbeddr/publish-mps-2023.3

Publish MPS 2023.3
mbeddr · Mar 18, 2024 · 9cf4202 · 9cf4202
2 parents 67c97ec + f4b2f9c
commit 9cf4202
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.gradle b/build.gradle
@@ -7,7 +7,7 @@ plugins {
 import de.undercouch.gradle.tasks.download.Download
 
 ext.mpsMajor = '2023.3'
-ext.mpsBuild = '2023.3-RC1'
+ext.mpsBuild = '2023.3'
 
 def mpsDownloadDir = new File(project.buildDir, "MPS-${mpsBuild}")
 def mpsDownloadFile = new File(mpsDownloadDir, "MPS-${mpsBuild}.zip")