From 5fbcb991f0f3bb35126cf857da1ce40910b79d97 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Thu, 23 Feb 2023 16:28:05 +0100 Subject: [PATCH] Fix trove library jar location in plugin --- build.xml | 2 +- .../models/jetbrains.mps.coderules.build.mps | 42 +++++++++++++++++++ 2 files changed, 43 insertions(+), 1 deletion(-) diff --git a/build.xml b/build.xml index c3700c6c..132b5dba 100644 --- a/build.xml +++ b/build.xml @@ -2263,7 +2263,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps b/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps index 71238f69..a624f59a 100644 --- a/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps +++ b/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps @@ -3736,6 +3736,27 @@ + + + + + + + + + + + + + + + + + + + + + @@ -3978,6 +3999,27 @@ + + + + + + + + + + + + + + + + + + + + +