//= require jquery
//= require jquery_ujs
//= require jquery-ui
//= require ./bootstrap
//= require ./prettify/prettify

$(function() {
  // alert("loaded!")
  prettyPrint()
})