Merge pull request
#2029 from minrk/unminified2...
Merge pull request
#2029 from minrk/unminified2
Ship unminified js for easier packaging. We now conform to the Debian packaging guidelines regarding the presence of binary blobs (the minified JS sources).
Includes unminified single-file versions of prettify, jQuery-1.7.1, and jquery/jquery-ui@ba8f147.
These files are totally unused by us, as we use the minified code, but allow packagers to validate/reminify/etc according to their own policies.
Closes
#1265.
