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

MD5: bc9ce51435eb876e6e63d0d06f3c2d25
Introduced 6 mo 1 day ago Successoverture-master/org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.ui #30

Usage

This file has been used in the following places:

overture-masterSuccess#30 
overture-master/org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.uiSuccess#30