org.overturetool.ide.vdmpp:p2artifacts.xml

MD5: e253ef31f0eda30222bcbd43867dd63f
Introduced 8 mo 27 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