diff --git a/auto/doc/log.html b/auto/doc/log.html index 0c8355e..2f88e97 100644 --- a/auto/doc/log.html +++ b/auto/doc/log.html @@ -9,11 +9,17 @@