Adrien Crivelli 5df66809bc Workaround for RTD search ... For details, see https://github.com/rtfd/readthedocs.org/issues/1487 FIX #153		2017-05-05 11:56:18 +02:00
..
extra.css	Workaround for RTD search	2017-05-05 11:56:18 +02:00
extra.js	Workaround for RTD search	2017-05-05 11:56:18 +02:00