Download org.overture.ide.plugins.externaleditor JAR file with all dependencies
org.overture.ide.plugins.externaleditor from group org.overturetool.ide.plugins (version 2.7.2)
0 downloads
Artifact org.overture.ide.plugins.externaleditor
Group org.overturetool.ide.plugins
Version 2.7.2
Last update 30. September 2019
Tags: integrated plugins core providing
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group org.overturetool.ide.plugins
Version 2.7.2
Last update 30. September 2019
Tags: integrated plugins core providing
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)