Jump To …



@licence This code is unlicenced.

script contains just the calls necessary to set things up.

window.require [
  ($, modern, boot, pretty) ->
    "strict mode"

Just in case one of the other scripts we've included has been naughty

    $ = jQuery

On the DOM ready event

    $ ->

Todo: Once using require.js most of these should only happen on pages that require them.


Set up prettyprint for any source that might be on the page.


Set up bootstrap tooltips.


generated Fri Dec 21 2012 12:05:10 GMT+0000 (GMT)