diff --git a/develop/doc/html/design/basics.html b/develop/doc/html/design/basics.html index 6704218f6..7467b2aeb 100644 --- a/develop/doc/html/design/basics.html +++ b/develop/doc/html/design/basics.html @@ -114,7 +114,7 @@ read the sections in order.