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