# HG changeset patch # User Raimund Renkert # Date 1398864350 -7200 # Node ID 63959d4f3c036b28231e1197e93979bc3b36fa06 # Parent 546a6318f681061747cb1d2d02147471089f8d5e Added porosity facet to minfo artifact config. diff -r 546a6318f681 -r 63959d4f3c03 artifacts/doc/conf/artifacts/minfo.xml --- a/artifacts/doc/conf/artifacts/minfo.xml Wed Apr 30 15:25:06 2014 +0200 +++ b/artifacts/doc/conf/artifacts/minfo.xml Wed Apr 30 15:25:50 2014 +0200 @@ -407,6 +407,7 @@ +