org.overturetool.ide.plugins:org.overture.ide.plugins.coverageeditor:pom.xml

MD5: 11dae573d3897c41f5ddd6db78dd5fed
Introduced 2 mo 9 days ago Successoverture-master/org.overturetool.ide.plugins:org.overture.ide.plugins.coverageeditor #28

Usage

This file has been used in the following places:

overture-masterSuccess#28 
overture-master/org.overturetool.ide.plugins:org.overture.ide.plugins.coverageeditorSuccess#28