From 9aff7bd543a657103868f5538d1f6502c0488117 Mon Sep 17 00:00:00 2001
From: jsDelivr Bot <contact@jsdelivr.com>
Date: Sun, 9 Dec 2018 15:15: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 16fab36c9..76a4ac774 100644
--- a/docs/website/footer.html
+++ b/docs/website/footer.html
@@ -1,7 +1,7 @@
 	<script src="https://code.jquery.com/jquery-1.11.3.min.js"></script>
 	<script src="https://oss.maxcdn.com/bootstrap/3.3.5/js/bootstrap.min.js"></script>
 	<script type="text/javascript" src="https://www.google.com/jsapi"></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@master/dist/clipboard.min.js"></script>
 	<script type="text/javascript" src="js/buildroot.js"></script>
 </body>
 </html>