# HG changeset patch # User jbe # Date 1503338891 -7200 # Node ID c5bf8d6963c4eada9bf41ab164a8f92e4a8509b1 # Parent ec1cca939315d437f640942a1cf30f79c675bcc6 Punctuation in list in WebMCP documentation diff -r ec1cca939315 -r c5bf8d6963c4 doc/autodoc-header.htmlpart --- a/doc/autodoc-header.htmlpart Mon Aug 21 19:52:27 2017 +0200 +++ b/doc/autodoc-header.htmlpart Mon Aug 21 20:08:11 2017 +0200 @@ -112,12 +112,12 @@