Jorrit Wronski 2e78d4fdf2 Activated the old doc builder again, the examples will never work in a docker image.

2015-10-30 13:29:15 +01:00

..

master.cfg

Activated the old doc builder again, the examples will never work in a docker image.

2015-10-30 13:29:15 +01:00