diff --git a/doc/html/ddl.html b/doc/html/ddl.html index 4f1542f002..655ef96628 100644 --- a/doc/html/ddl.html +++ b/doc/html/ddl.html @@ -20,47 +20,31 @@