diff --git a/src/doc-verification.html b/src/doc-verification.html index a7e86bf9..3e5f72b6 100644 --- a/src/doc-verification.html +++ b/src/doc-verification.html @@ -412,7 +412,6 @@