Lorenz Diener 9db7013d16 Bump version in docs		2019-05-31 14:15:08 +02:00
..
conf.py	Bump version in docs	2019-05-31 14:15:08 +02:00
index.rst	Make some dependencies optional	2019-05-31 14:12:04 +02:00
Makefile	Further readjustment. Docs now actually build, but look bad.	2016-11-24 02:07:08 +01:00