Fix plugin dependency to make compatible with MPS
This commit is contained in:
parent
b500bf5f8f
commit
a09dd24413
|
|
@ -3362,6 +3362,7 @@
|
|||
<description>Types for core MPS languages with Coderules (experimental)</description>
|
||||
<version>${ci.mps.release}-0.9-b${ci.build.num}</version>
|
||||
<vendor url="jetbrains.com/mps">JetBrains s.r.o.</vendor>
|
||||
<depends>jetbrains.mps.core</depends>
|
||||
<depends>jetbrains.mps.coderules</depends>
|
||||
<idea-version since-build="213.1" />
|
||||
<change-notes>First public EAP</change-notes>
|
||||
|
|
@ -3381,6 +3382,7 @@
|
|||
<description>Types for core MPS languages with Coderules (experimental)</description>
|
||||
<version>${ci.mps.release}-0.9-b${ci.build.num}</version>
|
||||
<vendor url="jetbrains.com/mps">JetBrains s.r.o.</vendor>
|
||||
<depends>jetbrains.mps.core</depends>
|
||||
<depends>jetbrains.mps.coderules</depends>
|
||||
<idea-version since-build="213.1" />
|
||||
<change-notes>First public EAP</change-notes>
|
||||
|
|
|
|||
|
|
@ -231,6 +231,9 @@
|
|||
</node>
|
||||
<node concept="m$_wf" id="7BVjoXzUx67" role="3989C9">
|
||||
<property role="m$_wk" value="jetbrains.mps.core.types" />
|
||||
<node concept="m$_yC" id="3cBtKDs8BhF" role="m$_yJ">
|
||||
<ref role="m$_y1" to="ffeo:4k71ibbKLe8" resolve="jetbrains.mps.core" />
|
||||
</node>
|
||||
<node concept="3_J27D" id="7BVjoXzUx68" role="m$_yQ">
|
||||
<node concept="3Mxwew" id="7BVjoXzUx6h" role="3MwsjC">
|
||||
<property role="3MwjfP" value="MPS Coderules Core Types" />
|
||||
|
|
|
|||
Loading…
Reference in New Issue