diff --git a/develop/doc/html/design/basics.html b/develop/doc/html/design/basics.html index 9f0d57b6f..6f1a17fbb 100644 --- a/develop/doc/html/design/basics.html +++ b/develop/doc/html/design/basics.html @@ -116,7 +116,7 @@ read the sections in order.