Philipp Marek 4f7fda440b Remove jQuery filter to improve page load time ... Not building a (long!) list and filtering it then gives a nice performance improvement. Change-Id: Ia9f047e8c1ecf8a5df3d6a416848ccb2de18f58d		2015-12-22 19:28:32 +01:00
..
hover.js	Add CI Watch, a third-party CI monitoring dashboard	2015-10-06 11:58:39 -05:00
style.css	Add CI Watch, a third-party CI monitoring dashboard	2015-10-06 11:58:39 -05:00
verified.js	Remove jQuery filter to improve page load time	2015-12-22 19:28:32 +01:00