org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.ui:pom.xml

MD5: 0fdb0af6dc7485e298416840b51a78af
Introduced 6 mo 7 days ago Successoverture-master/org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.ui #29

Usage

This file has been used in the following places:

overture-masterSuccess#29 
overture-master/org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.uiSuccess#29