diff --git a/mod/hotpot/mod.html b/mod/hotpot/mod.html index 6972b2ae259..a3962927422 100644 --- a/mod/hotpot/mod.html +++ b/mod/hotpot/mod.html @@ -22,38 +22,37 @@ $text_source_options = array( ?>