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.3.0 #36

Closed de-jcup closed 6 years ago

de-jcup commented 6 years ago

see

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