Luke Murphy c2301c9ec4 Revert to usual RTD configuration ... Not working still but nothing we can do about it. Will need to raise an issue about this.		2019-10-05 22:11:28 +02:00
..
source	Revert to usual RTD configuration	2019-10-05 22:11:28 +02:00
Makefile	Roll out the new boilerplate	2019-10-04 23:20:02 +02:00