org.overturetool.vdm2c.ide:p2content.xml

MD5: 804bb3a9a867167b39d7b300c795948a
Introduced 2 yr 8 mo ago Successvdm2c-pvj/org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.repository #184

Usage

This file has been used in the following places:

vdm2c-pvjSuccess#184 
vdm2c-pvj/org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.repositorySuccess#184