--- doc/help/course.manual.texxml 2022/01/04 12:32:59 1.26.2.8.2.1 +++ doc/help/course.manual.texxml 2023/09/21 20:30:11 1.26.2.8.2.2 @@ -133,7 +133,6 @@ - @@ -212,6 +211,7 @@ + @@ -557,7 +557,6 @@ -