# HG changeset patch # User Raimund Renkert # Date 1355415604 -3600 # Node ID 381d93d0be2027f8ff7f30495b1539d886b3d972 # Parent 32f90baf4afae87f4107a2a50a3acc3b6f1874a5 Added theme mapping for new facets. diff -r 32f90baf4afa -r 381d93d0be20 flys-artifacts/doc/conf/themes.xml --- a/flys-artifacts/doc/conf/themes.xml Thu Dec 13 17:19:38 2012 +0100 +++ b/flys-artifacts/doc/conf/themes.xml Thu Dec 13 17:20:04 2012 +0100 @@ -228,6 +228,7 @@ + @@ -235,6 +236,12 @@ + + + + + +