diff --git a/auto/doc/log.html b/auto/doc/log.html index 718dc32..4823375 100644 --- a/auto/doc/log.html +++ b/auto/doc/log.html @@ -6,7 +6,9 @@