org.overturetool.ide.vdmpp:p2content.xml

MD5: 5259f782f767e6ac8a016e4234e8295f
Introduced 9 mo 0 days ago Successoverture-development/org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.ui #227

Usage

This file has been used in the following places:

overture-developmentSuccess#227 
overture-development/org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.uiSuccess#227