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

MD5: 366f38d379fdd7af069ffba00ac83f4c
Introduced 2 yr 8 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