Age | Commit message (Expand) | Author |
---|---|---|
2019-10-20 | Fix search bug with empty html_file_suffix | rdb |
2019-01-21 | #1341 remove config option | Timotheus Kampik |
2019-01-19 | #1341 support partial search for terms/titles | Timotheus Kampik |
2018-11-04 | Move language-specific data into a new JS file, language_data.js | Dmitry Shachnev |
2018-07-22 | move templating from `searchtools` to `documentation_options` | Timotheus Kampik |
2018-07-21 | #5186 clean up JavaScript templates: doctools | Timotheus Kampik |
2018-05-02 | Fix blank URL_ROOT | Tommy Nguyen |
2018-01-21 | Fix #4472: DOCUMENTATION_OPTIONS is not defined | Takeshi KOMIYA |