diff options
Diffstat (limited to 'docs/_includes')
| -rw-r--r-- | docs/_includes/footer.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/_includes/footer.html b/docs/_includes/footer.html index ebc6018f5..e75497c69 100644 --- a/docs/_includes/footer.html +++ b/docs/_includes/footer.html @@ -33,6 +33,7 @@ ================================================== --> <!-- Placed at the end of the document so the pages load faster --> <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.3/jquery.min.js"></script> +<script>window.jQuery || document.write('<script src="../assets/js/vendor/jquery.min.js"><\/script>')</script> {% if site.github %} <script src="../dist/js/bootstrap.min.js"></script> |