# HG changeset patch # User Raimund Renkert # Date 1371821426 -7200 # Node ID 7b67b952b517bd38cac5817ae429d76a4cb04d9e # Parent 3eff8efb4354ce868ef0925632e7e8988a43dd61 Added new facet to minfo artifact config. diff -r 3eff8efb4354 -r 7b67b952b517 artifacts/doc/conf/artifacts/minfo.xml --- a/artifacts/doc/conf/artifacts/minfo.xml Fri Jun 21 15:29:41 2013 +0200 +++ b/artifacts/doc/conf/artifacts/minfo.xml Fri Jun 21 15:30:26 2013 +0200 @@ -508,6 +508,7 @@ +