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