# HG changeset patch # User Felix Wolfsteller # Date 1354032974 -3600 # Node ID fde87551bc4a517b30e1c7113c7f506e6dbe831e # Parent ef93ef4ff6b141c6680f48597378b72b04a00c61# Parent 8304f982984f5a00953d18990f53c284baecc7cc Merged. diff -r ef93ef4ff6b1 -r fde87551bc4a flys-artifacts/doc/conf/default-themes.xml --- a/flys-artifacts/doc/conf/default-themes.xml Tue Nov 27 17:15:41 2012 +0100 +++ b/flys-artifacts/doc/conf/default-themes.xml Tue Nov 27 17:16:14 2012 +0100 @@ -156,7 +156,7 @@