Categories |
CategoriesIDE Development Tools |
---|---|
GroupId | GroupIdorg.overturetool.ide.plugins |
ArtifactId | ArtifactIdorg.overture.ide.plugins.coverageeditor |
Version | Version2.6.4 |
Type | Typeeclipse-plugin |