From 476243ac3d89f08f85f0a3dbce28e91d402a6192 Mon Sep 17 00:00:00 2001
From: Peter Korsgaard <peter@korsgaard.com>
Date: Sat, 28 Apr 2018 10:44:09 +0200
Subject: [PATCH] website: footer.html: really use version 1.7.1 of
 clipboard.js

Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
---
 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 60a8872f77..2811fc5c0e 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/v2.0.0/dist/clipboard.min.js"></script>
+	<script src="https://cdn.rawgit.com/zenorocha/clipboard.js/v1.7.1/dist/clipboard.min.js"></script>
 	<script type="text/javascript" src="js/buildroot.js"></script>
 </body>
 </html>
-- 
2.30.2