# HG changeset patch
# User gernotbelger
# Date 1528792833 -7200
# Node ID 28fe5e65449537a95fc70d1ed6d40c00bfa5d0e5
# Parent d86a9bff6a3a8fd97ce9c74e52bd8415a0e038f2
generators
diff -r d86a9bff6a3a -r 28fe5e654495 artifacts/doc/conf/generators/generators.xml
--- a/artifacts/doc/conf/generators/generators.xml Tue Jun 12 10:32:02 2018 +0200
+++ b/artifacts/doc/conf/generators/generators.xml Tue Jun 12 10:40:33 2018 +0200
@@ -68,6 +68,7 @@
+