Thibaut Courouble 76aec2bd95 Don't reset to root page when clearing the search field ... Closes #718.		2017-11-17 12:23:12 -05:00
..
images	Update Mocha documentation (4.0.1)	2017-10-29 14:34:14 -04:00
javascripts	Don't reset to root page when clearing the search field	2017-11-17 12:23:12 -05:00
stylesheets	Tweak print stylesheet	2017-11-17 11:57:44 -05:00