Marcus Schäfer 39b2b703a2 Bump version: 9.12.9 → 9.13.0		2018-02-16 11:58:16 +01:00
..
source	Bump version: 9.12.9 → 9.13.0	2018-02-16 11:58:16 +01:00
Makefile	Build schema documentation with Oxygen	2017-06-29 10:38:45 +02:00