From ccade708a9190ffb72288fc08aceba479782cea0 Mon Sep 17 00:00:00 2001
From: jsDelivr Bot <contact@jsdelivr.com>
Date: Sat, 8 Dec 2018 07:18:57 +0100
Subject: [PATCH] Replace RawGit with jsDelivr

---
 docs/website/footer.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/website/footer.html b/docs/website/footer.html
index 279c8b1b5c..0dbfba493b 100644
--- a/docs/website/footer.html
+++ b/docs/website/footer.html
@@ -1,6 +1,6 @@
 	<script src="https://code.jquery.com/jquery-3.1.1.min.js"></script>
 	<script src="https://oss.maxcdn.com/bootstrap/3.3.7/js/bootstrap.min.js"></script>
-	<script src="https://cdn.rawgit.com/zenorocha/clipboard.js/master/dist/clipboard.min.js"></script>
+	<script src="https://cdn.jsdelivr.net/gh/zenorocha/clipboard.js/dist/clipboard.min.js"></script>
 	<script type="text/javascript" src="js/buildroot.js"></script>
 </body>
 </html>