# HG changeset patch # User Felix Wolfsteller # Date 1377522094 -7200 # Node ID a920ca706fc1efbacd3b66db6e8a12e097c11232 # Parent 16fcfde38d5b90953327361ecf6bf7a1406963dd Mapping new facet type to theme. diff -r 16fcfde38d5b -r a920ca706fc1 artifacts/doc/conf/themes.xml --- a/artifacts/doc/conf/themes.xml Mon Aug 26 14:53:41 2013 +0200 +++ b/artifacts/doc/conf/themes.xml Mon Aug 26 15:01:34 2013 +0200 @@ -180,6 +180,7 @@ +