Merge pull request #2645 from mbeddr/merge/mps20243

Merge maintenance/mps20241 into maintenance/mps20243
mbeddr · Dec 5, 2024 · 3256265 · 3256265
2 parents 59c4276 + 72b833d
commit 3256265
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/languageModels/editor.mps b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/languageModels/editor.mps
@@ -1000,7 +1000,7 @@
             </node>
           </node>
         </node>
-        <node concept="2iRfu4" id="7sHl0myfC36" role="2iSdaV" />
+        <node concept="l2Vlx" id="1OEjBB5gGtQ" role="2iSdaV" />
         <node concept="2tOxIa" id="4Oh$x0pl_Z9" role="3F10Kt">
           <property role="1lJzqX" value="-1" />
         </node>