# HG changeset patch # User Felix Wolfsteller # Date 1377522172 -7200 # Node ID 0143c7de5ebc7a5deee4b0d6735482ad324858a0 # Parent a920ca706fc1efbacd3b66db6e8a12e097c11232 Added new ThemeMappings. diff -r a920ca706fc1 -r 0143c7de5ebc artifacts/doc/conf/themes.xml --- a/artifacts/doc/conf/themes.xml Mon Aug 26 15:01:34 2013 +0200 +++ b/artifacts/doc/conf/themes.xml Mon Aug 26 15:02:52 2013 +0200 @@ -177,7 +177,9 @@ + +