# HG changeset patch # User gernotbelger # Date 1538149759 -7200 # Node ID a7f75d61a634f2e22cb58e920ac56ac2068f22ae # Parent 8b7bf26b878206a3d1c79739ffa3b7e4a353d137 New predefined artifact diff -r 8b7bf26b8782 -r a7f75d61a634 artifacts/doc/conf/conf.xml --- a/artifacts/doc/conf/conf.xml Fri Sep 28 13:44:12 2018 +0200 +++ b/artifacts/doc/conf/conf.xml Fri Sep 28 17:49:19 2018 +0200 @@ -177,11 +177,15 @@ org.dive4elements.artifactdatabase.DefaultArtifactFactory + org.dive4elements.artifactdatabase.DefaultArtifactFactory - + org.dive4elements.artifactdatabase.DefaultArtifactFactory +