8 Commits

Author	SHA1	Message	Date
XhmikosR	25d017a2ee	Replace ZeroClipboard with clipboard.js (backported from v4).	2018-10-18 11:54:48 +03:00
XhmikosR	e105d15642	Use https, fix broken links and unneeded redirects.	2018-10-18 11:27:47 +03:00
XhmikosR	08529515e5	Bump year to 2018.	2018-10-08 20:12:34 +03:00
Mark Otto	0a7a1b7a99	move that to separate file	2017-11-26 00:42:55 -08:00
Mark Otto	04d92a420a	move from csslint to stylelint	2017-11-25 18:06:34 -08:00
Mark Otto	bf63d052c0	stub out docsearch additions	2017-07-04 13:24:51 -07:00
Mark Otto	6621d55471	remove old comment	2017-07-02 15:20:08 -07:00
Mark Otto	4f4592c225	Reorganize v3 docs CSS to use Less	2017-07-02 15:09:46 -07:00