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