org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.coverageeditor/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.coverageeditor-2.6.5-SNAPSHOT-p2metadata.xml

MD5: 9f1e7808f11d9184f32d324a6f762c58
Introduced 2 yr 1 mo ago overturetool/pvj%2Fmain #105

Usage

This file has been used in the following places:

overturetool/testSuccess#59