diff --git a/develop/doc/html/design/basics.html b/develop/doc/html/design/basics.html index 479efaf7e..8f822754c 100644 --- a/develop/doc/html/design/basics.html +++ b/develop/doc/html/design/basics.html @@ -38,9 +38,8 @@