diff options
Diffstat (limited to 'docs/index.html')
-rw-r--r-- | docs/index.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/index.html b/docs/index.html index e7929e8eec..60fd52d7d4 100644 --- a/docs/index.html +++ b/docs/index.html @@ -18,6 +18,7 @@ --> <link href="assets/js/google-code-prettify/prettify.css" rel="stylesheet" type="text/css"> <script src="assets/js/google-code-prettify/prettify.js"></script> + <script src="assets/js/application.js"></script> </head> <body onload="prettyPrint()"> |