removed useless local variable.
This commit is contained in:
@@ -126,8 +126,6 @@ feature -- Optional
|
|||||||
feature -- Conversion
|
feature -- Conversion
|
||||||
|
|
||||||
append_to_html (a_theme: WSF_THEME; a_html: STRING_8)
|
append_to_html (a_theme: WSF_THEME; a_html: STRING_8)
|
||||||
local
|
|
||||||
s: STRING_8
|
|
||||||
do
|
do
|
||||||
a_html.append ("<form action=%""+ action +"%"")
|
a_html.append ("<form action=%""+ action +"%"")
|
||||||
a_html.append (" method=%""+ method +"%"")
|
a_html.append (" method=%""+ method +"%"")
|
||||||
|
|||||||
Reference in New Issue
Block a user