##// END OF EJS Templates
preserve header for resubmitted tasks...
preserve header for resubmitted tasks header should be unchanged, aside from the msg_id and timestamp closes #1834

File last commit:

r6610:b9a817a6
r7262:ba8a569b
Show More
README
14 lines | 685 B | text/plain | TextLexer
We use minified versions of JQuery / jQueryUI and google-code-prettify in the Notebook.
Some package managers require full versions alongside minified, and they can be
dropped in here, if necessary.
origins of our minified js:
prettify: http://google-code-prettify.googlecode.com/files/prettify-small-1-Jun-2011.tar.bz2
jQuery-1.6.2: http://code.jquery.com/jquery-1.6.2.min.js
jQueryUI-1.8.14: generated by https://jqueryui.com/download
And their unminified counterparts:
prettify: http://google-code-prettify.googlecode.com/files/prettify-1-Jun-2011.tar.bz2
jQuery-1.6.2: http://code.jquery.com/jquery-1.6.2.js
jQueryUI-1.8.14: https://github.com/jquery/jquery-ui/tarball/1.8.14