From 6b45f62e6ef2e801a9e3473608fddbeb246a734b Mon Sep 17 00:00:00 2001 From: Jens Schauder Date: Mon, 22 May 2017 09:43:18 +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/clipboard.min.js | 7 ++++++ js/copySnippets.js | 41 ++++++++++++++++++++++---------- js/projectDocumentationWidget.js | 4 +--- 5 files changed, 38 insertions(+), 24 deletions(-) delete mode 100755 js/ZeroClipboard.min.js create mode 100644 js/clipboard.min.js diff --git a/_includes/page.html b/_includes/page.html index 87df027..53cf573 100644 --- a/_includes/page.html +++ b/_includes/page.html @@ -26,7 +26,7 @@ - +