# HG changeset patch # User Andre Heinecke # Date 1423758573 -3600 # Node ID 3d08d79769755fff98294f01cc85d2cee98e2fa6 # Parent f73cc569ac8bfe6bd4c71581552fa685a9ea6435 (issue1599) Add manualpoints theme for MSH diff -r f73cc569ac8b -r 3d08d7976975 artifacts/doc/conf/themes.xml --- a/artifacts/doc/conf/themes.xml Thu Feb 12 12:18:47 2015 +0100 +++ b/artifacts/doc/conf/themes.xml Thu Feb 12 17:29:33 2015 +0100 @@ -212,6 +212,7 @@ +