removed an JDK 1.3 incompatibility problem with URLEncoder
authorzapata <zapata>
Sat, 15 Mar 2003 16:16:12 +0000 (16:16 +0000)
committerzapata <zapata>
Sat, 15 Mar 2003 16:16:12 +0000 (16:16 +0000)
commit4751d38f61dca7f52226aaa840255912d161f116
treef8615d8c0867f9bf98cfc90765f72b3883ae5bd0
parent55b409cfb4c95a18ee3183c99a7133e51395d454
removed an JDK 1.3 incompatibility problem with URLEncoder
source/mir/util/HTMLRoutines.java