Daniele Varrazzo 9bcca1a7b0 Dropped customized doc template ... It was meant to be used only by the website, not for the doc shipped with the package. [skip ci]		2020-01-27 04:32:31 +00:00
..
searchbox.html	Use a responsive theme for docs	2020-01-18 23:56:44 +00:00