org.overturetool.vdm2c.ide.features:p2artifacts.xml

MD5: a858afbfa7374ee195298ebb1f004cc5
Introduced 2 yr 10 mo ago Successvdm2c/org.overturetool.vdm2c.ide.features:org.overturetool.vdm2c.ide.features.cgen #461

Usage

This file has been used in the following places:

vdm2cSuccess#461 
vdm2c/org.overturetool.vdm2c.ide.features:org.overturetool.vdm2c.ide.features.cgenSuccess#461