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