diff --git a/doc/web/course.html b/doc/web/course.html index b185963..64df203 100644 --- a/doc/web/course.html +++ b/doc/web/course.html @@ -186,9 +186,11 @@