Marcus Schäfer da2d9b96a7 Bump version: 9.18.12 → 9.18.13		2019-08-29 16:38:30 +02:00
..
source	Bump version: 9.18.12 → 9.18.13	2019-08-29 16:38:30 +02:00
Makefile	Turn sphinx warnings into errors	2019-05-20 11:20:18 +02:00