Marcus Schäfer 2de55d1f41 Bump version: 9.12.4 → 9.12.5		2018-01-26 10:28:53 +01:00
..
source	Bump version: 9.12.4 → 9.12.5	2018-01-26 10:28:53 +01:00
Makefile	Build schema documentation with Oxygen	2017-06-29 10:38:45 +02:00