MINIFY revision e9f640f7551f94504c920995daa12e5c84fb9565
e9f640f7551f94504c920995daa12e5c84fb9565nd(echo '// see prettify.js for copyright, license and expanded version'; python -mrjsmin <prettify.js) >prettify.min.js
e9f640f7551f94504c920995daa12e5c84fb9565nd# needs python and rjsmin installed