4 Commits

Author	SHA1	Message	Date
JC Brand	3bbcf237ee	Make new build and use it in index.html	2014-08-11 22:19:43 +02:00
JC Brand	c5ce850ec4	Made a new build. Fixes #212	2014-08-11 21:55:13 +02:00
JC Brand	e31ded9f77	Rename jquery.fastLiveSearch.js to utils.js and regenerate	2014-08-08 20:18:42 +02:00
JC Brand	26e7e82f5b	Build a non-OTR version for the website on IE < 9.	2014-08-05 17:44:53 +02:00