Adrien Crivelli 22d5312be8 Remove extra js in docs ... Since the release of Read the Docs 2.5 this is no longer required and it broke version selector.		2018-06-08 12:15:24 +09:00
..
extra.css	Workaround for RTD search	2017-05-05 11:56:18 +02:00