diff --git a/mod/hotpot/mod.html b/mod/hotpot/mod.html index f15714483fe..add5208f656 100644 --- a/mod/hotpot/mod.html +++ b/mod/hotpot/mod.html @@ -125,9 +125,6 @@ $text_source_options = array(