Merge pull request #2613 from mbeddr/merge/mps20232

Merge maintenance/mps20232 into maintenance/mps20241
mbeddr · Nov 20, 2024 · 68d53c0 · 68d53c0
2 parents ff0222b + dedcfbb
commit 68d53c0
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/...uages/com.mbeddr.build/solutions/com.mbeddr.platform/models/com/mbeddr/platform/build.mps b/...uages/com.mbeddr.build/solutions/com.mbeddr.platform/models/com/mbeddr/platform/build.mps
@@ -20629,6 +20629,9 @@
                   <property role="2Ry0Am" value="solutions" />
                   <node concept="2Ry0Ak" id="29VkIO0XQnT" role="2Ry0An">
                     <property role="2Ry0Am" value="com.opencsv" />
+                    <node concept="2Ry0Ak" id="A68Oyjtg1H" role="2Ry0An">
+                      <property role="2Ry0Am" value="lib" />
+                    </node>
                   </node>
                 </node>
               </node>