re-introduce leaner/simpler encodeHTML(String aText) method, we need it for the admin...
[mir.git] / log /
2001-08-27 rkno message
2001-08-24 idfxInitial revision