remove the unused and horrid encodeHTML method. saves us a couple hundred lines of...
authormh <mh>
Tue, 30 Apr 2002 17:26:31 +0000 (17:26 +0000)
committermh <mh>
Tue, 30 Apr 2002 17:26:31 +0000 (17:26 +0000)
commitc3d026c9c3e22538c6b8c4a97d456d937f7dc091
tree41450b5a1460f5fe9cf15bf1d1cca5d4feec7ae5
parent290bfaef53e70f4c17ec948b99f5f7eb36e28915
remove the unused and horrid encodeHTML method. saves us a couple hundred lines of code
source/mir/misc/StringUtil.java