org.overturetool.vdm2c.ide:p2content.xml

MD5: c19afe3850ef980fb21e92724049c6b7
Introduced 3 yr 5 mo ago Successvdm2c-pvj/org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.cgen #184

Usage

This file has been used in the following places:

vdm2c-pvj/org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.cgenSuccess#184