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

Deployment 1.1.0 #30

Closed de-jcup closed 6 years ago

de-jcup commented 6 years ago

see https://github.com/de-jcup/eclipse-jenkins-editor/projects/1 for details