# HG changeset patch # User gernotbelger # Date 1525341107 -7200 # Node ID c5595fc41e837c74f0cf61970545a8953e914e0b # Parent 0ddeeb413faea676d3acb9fc066f3793b1fa644c Removed comment diff -r 0ddeeb413fae -r c5595fc41e83 artifacts/doc/conf/artifacts/manualpoints.xml --- a/artifacts/doc/conf/artifacts/manualpoints.xml Thu May 03 10:16:36 2018 +0200 +++ b/artifacts/doc/conf/artifacts/manualpoints.xml Thu May 03 11:51:47 2018 +0200 @@ -35,8 +35,6 @@ - -