2017-09-02 19:48:38 +00:00
|
|
|
<script src="https://ajax.googleapis.com/ajax/libs/jquery/3.2.1/jquery.min.js" integrity="sha384-xBuQ/xzmlsLoJpyjoggmTEz8OWUFM0/RC5BsqQBDX2v5cMvDHcMakNTNrHIW2I5f" crossorigin="anonymous"></script>
|
2016-12-12 04:33:54 +00:00
|
|
|
<script>
|
2017-09-02 19:48:38 +00:00
|
|
|
window.Popper = {}; // Remove if we want to use Bootstrap tooltips
|
2016-12-12 04:33:54 +00:00
|
|
|
</script>
|
2017-09-02 19:48:38 +00:00
|
|
|
<script src="https://maxcdn.bootstrapcdn.com/bootstrap/4.0.0-beta/js/bootstrap.min.js" integrity="sha384-h0AbiXch4ZDo7tp9hKZ4TsHbi047NrKGLO3SEJAg45jXxnGIfYzk4Si90RDIqNm1" crossorigin="anonymous"></script>
|
|
|
|
<script src="https://cdn.jsdelivr.net/combine/npm/codemirror@5.29.0/lib/codemirror.js,npm/codemirror@5.29.0/mode/coffeescript/coffeescript.js,npm/codemirror@5.29.0/addon/lint/coffeescript-lint.js,npm/codemirror@5.29.0/mode/javascript/javascript.js"></script>
|
2016-12-12 04:33:54 +00:00
|
|
|
|
2017-02-13 01:00:05 +00:00
|
|
|
<script src="browser-compiler/coffeescript.js"></script>
|
2016-12-12 04:33:54 +00:00
|
|
|
<script type="text/coffeescript">
|
|
|
|
<%= include('docs.coffee') %>
|
|
|
|
</script>
|