diff --git a/README-docinfo.html b/README-docinfo.html index f9b898cdb..7f80cc43b 100644 --- a/README-docinfo.html +++ b/README-docinfo.html @@ -7,7 +7,6 @@ pre{ white-space:pre } } - - +