# 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 @@ +