Ok, big merge. here's the new xml-config stuff in action. There's a few
[mir.git] / source / mir / xml / XmlMatch.java
2001-12-02 mhOk, big merge. here's the new xml-config stuff in actio...
2001-10-24 mhadded bits necessary for XmlConfigurator.addRequiredTag...