2016-12-11 23:33:54 -05:00
|
|
|
<script src="https://ajax.googleapis.com/ajax/libs/jquery/3.1.1/jquery.min.js" integrity="sha384-3ceskX3iaEnIogmQchP8opvBy3Mi7Ce34nWjpBIwVTHfGYWQS9jwHDVRnpKKHJg7" crossorigin="anonymous"></script>
|
|
|
|
|
<script>
|
|
|
|
|
window.Tether = {}; // Remove if we want to use Bootstrap tooltips
|
|
|
|
|
</script>
|
|
|
|
|
<script src="https://maxcdn.bootstrapcdn.com/bootstrap/4.0.0-alpha.5/js/bootstrap.min.js" integrity="sha384-BLiI7JTZm+JWlgKa0M0kGRpJbF2J8q+qreVrKBC47e3K6BW78kGLrCkeRX6I9RoK" crossorigin="anonymous"></script>
|
2016-12-13 01:53:31 -05:00
|
|
|
<script src="https://cdn.jsdelivr.net/g/codemirror@4.5.0(codemirror.min.js+mode/coffeescript/coffeescript.js+addon/lint/coffeescript-lint.js+mode/javascript/javascript.js)" crossorigin="anonymous"></script>
|
2016-12-11 23:33:54 -05:00
|
|
|
|
2017-02-12 20:00:05 -05:00
|
|
|
<script src="browser-compiler/coffeescript.js"></script>
|
2016-12-11 23:33:54 -05:00
|
|
|
<script type="text/coffeescript">
|
|
|
|
|
<%= include('docs.coffee') %>
|
|
|
|
|
</script>
|
