From 14c4be7d5444c85866c2a719729d05bbc1c00e0d Mon Sep 17 00:00:00 2001 From: Jens Schauder Date: Mon, 22 May 2017 10:00:24 +0200 Subject: [PATCH] Replaces ZeroClipboard with clipboard. Based on: https://github.com/spring-projects/gh-pages/commit/c7ae9c6eeb231675f6d6b52c5bbfae0d17a975fe --- _includes/page.html | 2 +- js/ZeroClipboard.min.js | 8 ------ js/ZeroClipboard.swf | Bin 1635 -> 0 bytes js/clipboard.min.js | 7 ++++++ js/copySnippets.js | 41 ++++++++++++++++++++++--------- js/projectDocumentationWidget.js | 4 +-- 6 files changed, 38 insertions(+), 24 deletions(-) delete mode 100755 js/ZeroClipboard.min.js delete mode 100644 js/ZeroClipboard.swf create mode 100644 js/clipboard.min.js diff --git a/_includes/page.html b/_includes/page.html index 87df027ff..53cf5738d 100644 --- a/_includes/page.html +++ b/_includes/page.html @@ -26,7 +26,7 @@ - +