Skip to content

Commit

Permalink
build: fixed dependencies of the linter build
Browse files Browse the repository at this point in the history
  • Loading branch information
danielratiu committed Sep 16, 2023
1 parent 5562d34 commit 7dd1e3b
Showing 1 changed file with 15 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -527,6 +527,16 @@
<ref role="3bR37D" node="3ghOW5HWiKq" resolve="org.mpsqa.lint.generic.linters_library.quickfixes" />
</node>
</node>
<node concept="1SiIV0" id="1NOhArAYtvx" role="3bR37C">
<node concept="3bR9La" id="1NOhArAYtvy" role="1SiIV1">
<ref role="3bR37D" to="ffeo:44LXwdzyvTi" resolve="Annotations" />
</node>
</node>
<node concept="1SiIV0" id="1NOhArAYtvz" role="3bR37C">
<node concept="3bR9La" id="1NOhArAYtv$" role="1SiIV1">
<ref role="3bR37D" to="ffeo:4IP11oWmB07" resolve="jetbrains.mps.ide.modelchecker.platform" />
</node>
</node>
</node>
<node concept="1E1JtA" id="51obkXDz7OB" role="2G$12L">
<property role="BnDLt" value="true" />
Expand Down Expand Up @@ -661,6 +671,11 @@
<ref role="3bR37D" to="ffeo:4IP11oWmB07" resolve="jetbrains.mps.ide.modelchecker.platform" />
</node>
</node>
<node concept="1SiIV0" id="1NOhArAYtvK" role="3bR37C">
<node concept="3bR9La" id="1NOhArAYtvL" role="1SiIV1">
<ref role="3bR37D" to="ffeo:7Kfy9QB6LgV" resolve="jetbrains.mps.make.runtime" />
</node>
</node>
</node>
</node>
<node concept="55IIr" id="3dqUbgQmcy$" role="auvoZ" />
Expand Down

0 comments on commit 7dd1e3b

Please sign in to comment.