Branch: refs/heads/master Home: https://github.com/jenkinsci/scriptler-plugin Commit: 202584a025ab95818d329401a862f8cdc09ddd75 https://github.com/jenkinsci/scriptler-plugin/commit/202584a025ab95818d329401a862f8cdc09ddd75 Author: imod <d...@fortysix.ch> Date: 2012-08-31 (Fri, 31 Aug 2012)
Changed paths: M pom.xml M src/main/resources/org/jenkinsci/plugins/scriptler/ScriptlerManagment/edit.jelly M src/main/resources/org/jenkinsci/plugins/scriptler/ScriptlerManagment/runscript.jelly M src/main/resources/org/jenkinsci/plugins/scriptler/ScriptlerManagment/scriptsettings.jelly R src/main/webapp/lib/codemirror.css R src/main/webapp/lib/codemirror.js R src/main/webapp/lib/overlay.js R src/main/webapp/mode/clike/clike.css R src/main/webapp/mode/clike/clike.js R src/main/webapp/mode/clike/index.html Log Message: ----------- merge pullrequest #6 'Enable shortcut key'