# HG changeset patch
# User gernotbelger
# Date 1530037171 -7200
# Node ID 65543c75bfbbc87f7a942b7ed55e8166e122605d
# Parent 77eb4553245b681ad47b70b34bd8c2b41f6ae226
Themes with band now must have 'showarea' set to true.
diff -r 77eb4553245b -r 65543c75bfbb artifacts/doc/conf/themes/default.xml
--- a/artifacts/doc/conf/themes/default.xml Tue Jun 26 20:19:16 2018 +0200
+++ b/artifacts/doc/conf/themes/default.xml Tue Jun 26 20:19:31 2018 +0200
@@ -182,6 +182,7 @@
+