XhmikosR c343b9f59d Replace ZeroClipboard with clipboard.js. ... Things left: 1. clear the selection after copy 2. add messages for success and error		2015-10-24 19:01:02 +03:00
..
anchor.min.js	Update Anchor.js to v1.2.1.	2015-08-27 08:14:39 +03:00
clipboard.min.js	Replace ZeroClipboard with clipboard.js.	2015-10-24 19:01:02 +03:00
holder.min.js	Update Holder.js to v2.8.2.	2015-09-05 07:51:14 +03:00
jekyll-search.js	Fix the JS errors due to jekyll-search.	2015-08-28 14:28:47 +03:00
jquery.min.js	Add a local jQuery fallback.	2015-07-26 10:07:33 +03:00
tether.min.js	get the js working for docs	2015-08-12 19:59:55 -07:00