Ok, big merge. here's the new xml-config stuff in action. There's a few
[mir.git] / source / mir / misc / Logfile.java
2001-12-02 mhOk, big merge. here's the new xml-config stuff in actio...
2001-08-29 rkInitial revision