diff --git a/develop/doc/html/design/basics.html b/develop/doc/html/design/basics.html index 4a5fe5d09..0bc62f6ef 100644 --- a/develop/doc/html/design/basics.html +++ b/develop/doc/html/design/basics.html @@ -114,7 +114,7 @@ read the sections in order.