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