From 15175121fb32a9878dd8b015e93aec06c6a96f2a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= <essen@ninenines.eu>
Date: Tue, 23 May 2017 21:14:43 +0200
Subject: Remove jquery and bootstrap-dropdown.js

They're not used anymore! Woohoo!
---
 docs/en/erlang.mk/1/guide/coverage/index.html | 2 --
 1 file changed, 2 deletions(-)

(limited to 'docs/en/erlang.mk/1/guide/coverage/index.html')

diff --git a/docs/en/erlang.mk/1/guide/coverage/index.html b/docs/en/erlang.mk/1/guide/coverage/index.html
index 8404d89a..2519dd34 100644
--- a/docs/en/erlang.mk/1/guide/coverage/index.html
+++ b/docs/en/erlang.mk/1/guide/coverage/index.html
@@ -148,8 +148,6 @@
       </footer>
 
     
-    <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.7.1/jquery.min.js"></script>
-    <script src="/js/bootstrap-dropdown.js"></script>
     <script src="/js/custom.js"></script>
   </body>
 </html>
-- 
cgit v1.2.3