Merge pull request #2517 from mbeddr/bugfix/revert-bigproject-libraries

Restore BigProject libraries.xml
mbeddr · Sep 16, 2024 · 4e8c67c · 4e8c67c
2 parents d6f2576 + 4df67fc
commit 4e8c67c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/BigProject/.mps/libraries.xml b/tools/BigProject/.mps/libraries.xml
@@ -7,7 +7,7 @@
           <value>
             <Library>
               <option name="name" value="mps-extensions" />
-              <option name="path" value="$PROJECT_DIR$/../../../../2022.3/mbeddr.core/artifacts/de.itemis.mps.extensions" />
+              <option name="path" value="${mbeddr.github.core.home}/artifacts/de.itemis.mps.extensions" />
             </Library>
           </value>
         </entry>