the patch of mh for tomcat 4.1.* made the servlet-config incompatible with tomcat...
[mir.git] / scripts / createIndex.java
2002-08-25 mhmerge of localization branch into HEAD. mh and zap