search

de-jcup / eclipse-jenkins-editor

Jenkins Editor - A eclipse plugin to edit "Jenkinsfile" files
https://marketplace.eclipse.org/content/jenkins-editor
Apache License 2.0
45 stars 5 forks source link

Deploy 1.4.1 to marketplace #46

Closed de-jcup closed 6 years ago

de-jcup commented 6 years ago

Deployment, see https://github.com/de-jcup/eclipse-jenkins-editor/projects/1