##// END OF EJS Templates
cull Session digest history...
cull Session digest history a randomly selected ten percent is culled from the history prevents infinite growth for long running sessions of many messages, while maintaining reasonable replay protection.

File last commit:

r7706:0f7d5959
r10811:557d9ee1
Show More
README
15 lines | 833 B | text/plain | TextLexer
MinRK
add unminified/README...
r6610 We use minified versions of JQuery / jQueryUI and google-code-prettify in the Notebook.
MinRK
move unminified js to external/js...
r7706 Some package managers require full versions alongside minified,
and they can be dropped in here as necessary.
MinRK
add unminified/README...
r6610
origins of our minified js:
prettify: http://google-code-prettify.googlecode.com/files/prettify-small-1-Jun-2011.tar.bz2
MinRK
update jQuery/UI sources in unminified readme
r7600 jQuery-1.7.1: http://code.jquery.com/jquery-1.7.1.min.js
jQueryUI menubar branch checkpoint: (generated by ant build from the source tree)
MinRK
add unminified/README...
r6610
And their unminified counterparts:
prettify: http://google-code-prettify.googlecode.com/files/prettify-1-Jun-2011.tar.bz2
MinRK
update jQuery/UI sources in unminified readme
r7600 jQuery-1.7.1: http://code.jquery.com/jquery-1.7.1.js
jQueryUI version we ship: https://github.com/jquery/jquery-ui/tarball/ba8f147e4d69948aff4e956333098fb9360e3865
and the menubar branch in general: https://github.com/jquery/jquery-ui/tree/menubar