Marcus Schäfer 8bb04dbd80 Bump version: 9.18.24 → 9.18.25		2019-10-17 16:40:23 +02:00
..
source	Bump version: 9.18.24 → 9.18.25	2019-10-17 16:40:23 +02:00
Makefile	Turn sphinx warnings into errors	2019-05-20 11:20:18 +02:00