Zach Toolson 95f924fd0d Do not push history state. The browser already handles back properly (#878)		2017-09-13 23:17:16 -05:00
..
_lang.js	Update_lang.js	2017-07-20 11:01:19 -07:00
_search.js	Add configurable keypress delay before initiating search (#764)	2017-06-18 23:15:59 -07:00
_toc.js	Do not push history state. The browser already handles back properly (#878)	2017-09-13 23:17:16 -05:00