Pin to script-editor version 0.5.9#5

imagejan wants to merge 1 commit into

mainscijava/script-editor-jython:mainfrom

update-script-editor-dependencyscijava/script-editor-jython:update-script-editor-dependencyCopy head branch name to clipboard