org.overturetool.vdm2c.ide:p2content.xml

MD5: a3c1c8ad0e93c60addfbf0d4383e5698
Introduced 4 yr 5 mo ago Successvdm2c-vpb/org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.repository #172

Usage

This file has been used in the following places:

vdm2c-vpbSuccess#172 
vdm2c-vpb/org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.repositorySuccess#172