# HG changeset patch # User Raimund Renkert # Date 1398864306 -7200 # Node ID 546a6318f681061747cb1d2d02147471089f8d5e # Parent 693778752ee7c49c6fdaac63dd4747c554daa7ed Added config for porosity artifact. diff -r 693778752ee7 -r 546a6318f681 artifacts/doc/conf/artifacts/porosity.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/artifacts/doc/conf/artifacts/porosity.xml Wed Apr 30 15:25:06 2014 +0200 @@ -0,0 +1,12 @@ + + + + + + + + + + diff -r 693778752ee7 -r 546a6318f681 artifacts/doc/conf/conf.xml --- a/artifacts/doc/conf/conf.xml Wed Apr 30 15:22:27 2014 +0200 +++ b/artifacts/doc/conf/conf.xml Wed Apr 30 15:25:06 2014 +0200 @@ -12,6 +12,7 @@ + ]> YOUR_SECRET @@ -152,6 +153,9 @@ org.dive4elements.artifactdatabase.DefaultArtifactFactory + org.dive4elements.artifactdatabase.DefaultArtifactFactory org.dive4elements.artifactdatabase.DefaultUserFactory @@ -279,6 +283,7 @@ + &porosity-artifact; &modules;